From b6a41c85e1c55f1cf81d0bc9526125f70a84ab1b Mon Sep 17 00:00:00 2001 From: ragaskar Date: Sat, 1 Aug 2009 14:58:29 -0700 Subject: [PATCH] Killing .idea -- already in the .gitignore, but not ignored! --- .gitignore | 3 +-- .idea/inspectionProfiles/Project_Default.xml | 6 ------ .idea/inspectionProfiles/profiles_settings.xml | 8 -------- 3 files changed, 1 insertion(+), 16 deletions(-) delete mode 100644 .idea/inspectionProfiles/Project_Default.xml delete mode 100644 .idea/inspectionProfiles/profiles_settings.xml diff --git a/.gitignore b/.gitignore index ba72ec6..485dee6 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1 @@ -.idea/ -.idea/inspectionProfiles/ \ No newline at end of file +.idea diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml deleted file mode 100644 index a6c0eca..0000000 --- a/.idea/inspectionProfiles/Project_Default.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - \ No newline at end of file diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml deleted file mode 100644 index e8b980b..0000000 --- a/.idea/inspectionProfiles/profiles_settings.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - \ No newline at end of file