Skip to content

Commit 617d7ff

Browse files
mristinmristin
authored
Remove .idea/ (#4)
We mistakenly checked in the IDEA hidden directory -- this is local to the developer's machine, and thus should not be in the repository.
1 parent 008cd44 commit 617d7ff

File tree

7 files changed

+1
-113
lines changed

7 files changed

+1
-113
lines changed

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
.idea/
12
/src/.vs
23
*~
34

‎.idea/.gitignore‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎.idea/inspectionProfiles/Project_Default.xml‎

Lines changed: 0 additions & 86 deletions
This file was deleted.

‎.idea/inspectionProfiles/profiles_settings.xml‎

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎.idea/misc.xml‎

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎.idea/modules.xml‎

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎.idea/vcs.xml‎

Lines changed: 0 additions & 6 deletions
This file was deleted.

0 commit comments

Comments
 (0)