Merge pull request diffblue#1801 from hannes-steffenhagen-diffblue/ad…

…d-idea-gitignore Add .idea (CLion) directory to .gitignore
smowton · Feb 6, 2018 · 150f826 · 150f826
2 parents 745afbc + 6362295
commit 150f826
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -10,6 +10,7 @@ src/goto-analyzer/taint_driver_scripts/.idea/*
 /*.creator
 /*.creator.user
 /*.files
+/*.idea
 /*.includes
 # Eclipse
 src/.cproject