remove obsolete folder

ImperialCollegeLondon · Dec 2, 2024 · e090871 · e090871
1 parent b00bd3f
commit e090871
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