remove obsolete folder

ImperialCollegeLondon · Dec 3, 2024 · deb26ed · deb26ed
1 parent d6d5e7b
commit deb26ed
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 47 deletions.
diff --git a/.idea/.gitignore b/.idea/.gitignore
diff --git a/.idea/fair-data-repository.iml b/.idea/fair-data-repository.iml
diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml
diff --git a/.idea/modules.xml b/.idea/modules.xml
diff --git a/.idea/vcs.xml b/.idea/vcs.xml