Skip to content
This repository was archived by the owner on Nov 27, 2020. It is now read-only.

[config] add ide parameter. #794

Closed
wants to merge 1 commit into from
Closed

Conversation

aitboudad
Copy link
Contributor

@Pierstoval
Copy link
Contributor

I'm still not in favor of it 😕

@weaverryan
Copy link
Member

@aitboudad Though completely logical, I think I'm against this too. It only applies to some people (though I am one of those people) and I do like showing how features are available to people. But it's also more clutter in an important file. I'd like to see less in general :).

@fabpot
Copy link
Member

fabpot commented Apr 10, 2015

I agree with @weaverryan as well. Closing it.

@fabpot fabpot closed this Apr 10, 2015
@aitboudad aitboudad deleted the ide_config branch April 10, 2015 09:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants