Include everyone's project dictionary

2015-11-23 21:55:25 +01:00 · 2015-11-23 21:55:25 +01:00 · 3571bcc337
parent 36c50c4507
commit 3571bcc337
1 changed files with 4 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -22,6 +22,10 @@ hs_err_pid*
 # Include the project's code style settings file
 !.idea/codeStyleSettings.xml

+# Include the project's dictionary
+!.idea/dictionaries/
+!.idea/dictionaries/*
+
 # File-based project format:
 *.ipr
 *.iws