remove auto generated folidity files

SkymanOne · Mar 25, 2024 · c8f6625 · c8f6625
1 parent e5d0525
commit c8f6625
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 44 deletions.
diff --git a/.gitignore b/.gitignore
@@ -307,4 +307,6 @@ TSWLatexianTemp*
 Cargo.lock
 .DS_Store
 
-reports/ecsproject.pdf
+reports/ecsproject.pdf
+
+/auto
diff --git a/auto/README.md b/auto/README.md
diff --git a/auto/counter.fol b/auto/counter.fol