Refactoring

dice-group · Mar 25, 2024 · 18f9d7c · 18f9d7c
1 parent d67a443
commit 18f9d7c
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 63 deletions.
diff --git a/.idea/.gitignore b/.idea/.gitignore
diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml
diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml
diff --git a/.idea/jupyter-settings.xml b/.idea/jupyter-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/owlapy.iml b/.idea/owlapy.iml
diff --git a/.idea/vcs.xml b/.idea/vcs.xml