remove .idea

gambitproject · Oct 29, 2023 · 2a5810d · 2a5810d
1 parent 7c6c614
commit 2a5810d
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 52 deletions.
diff --git a/.idea/.gitignore b/.idea/.gitignore
diff --git a/.idea/gambit.iml b/.idea/gambit.iml
diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/.idea/modules.xml b/.idea/modules.xml
diff --git a/.idea/vcs.xml b/.idea/vcs.xml