Remove useless folders

paolomonella · Feb 25, 2021 · 6d601bb · 6d601bb
1 parent 8bfb384
commit 6d601bb
Show file tree

Hide file tree

Showing 1,532 changed files with 0 additions and 260,429 deletions.
diff --git a/lemma/archimedes/archimedesUrsus.py b/lemma/archimedes/archimedesUrsus.py
diff --git a/lemma/archimedes/dataStructureOftheOutputOfArchimedes b/lemma/archimedes/dataStructureOftheOutputOfArchimedes