diff --git a/.gitignore b/.gitignore index e0d930e9..de0c25c5 100644 --- a/.gitignore +++ b/.gitignore @@ -19,9 +19,10 @@ hs_err_pid* *.iml ## Directory-based project format: -.idea/ +.idea/* # Include the project's code style settings file !.idea/codeStyleSettings.xml + # if you remove the above rule, at least ignore the following: # User-specific stuff: diff --git a/.idea/codeStyleSettings.xml b/.idea/codeStyleSettings.xml new file mode 100644 index 00000000..84c6b86a --- /dev/null +++ b/.idea/codeStyleSettings.xml @@ -0,0 +1,13 @@ + + + + + + \ No newline at end of file