From a2732da0c3f3f5cbf76405acb25a662439f3fb7b Mon Sep 17 00:00:00 2001 From: Gabriele C Date: Fri, 7 Oct 2016 19:51:10 +0200 Subject: [PATCH] Remove intellij dictionaries useless, just exclude them --- .gitignore | 4 ---- .idea/dictionaries/Tim.xml | 7 ------- 2 files changed, 11 deletions(-) delete mode 100644 .idea/dictionaries/Tim.xml diff --git a/.gitignore b/.gitignore index 607894b5..573eb061 100644 --- a/.gitignore +++ b/.gitignore @@ -22,10 +22,6 @@ 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 diff --git a/.idea/dictionaries/Tim.xml b/.idea/dictionaries/Tim.xml deleted file mode 100644 index 1cd4a23c..00000000 --- a/.idea/dictionaries/Tim.xml +++ /dev/null @@ -1,7 +0,0 @@ - - - - authme - - -