Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't commit .idea directory #54

Closed
wants to merge 1 commit into from
Closed

Conversation

guizmaii
Copy link
Contributor

It can mess with other people configurations

It can mess with other people configurations
@gaelrenoux
Copy link
Owner

I agree with most of the files in .idea. However, the formatting definitions should be kept to maintain a coherent code style (see for example the indentation commit I added in #55). I've been using the .gitignore generated by Github, but it keeps a bunch of files that it shouldn't.

=> I'll change the .gitignore to exclude everything but the formatting definitions.

@gaelrenoux gaelrenoux closed this Aug 15, 2024
@gaelrenoux
Copy link
Owner

(Cf #56)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants