Delete .idea directory

patrick-kidger · Nov 7, 2023 · f366dc8 · f366dc8
1 parent 00ea284
commit f366dc8
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 291 deletions.
diff --git a/.idea/diffrax_STLA.iml b/.idea/diffrax_STLA.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/vcs.xml b/.idea/vcs.xml
diff --git a/.idea/workspace.xml b/.idea/workspace.xml