rm python leftovers

HerodotusDev · Mar 28, 2024 · faaf371 · faaf371
1 parent 171de23
commit faaf371
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,3 @@
-**/.venv
-**/__pycache__
-
 # Generated by Cargo
 # will have compiled files and executables
 **/debug/
@@ -34,7 +31,7 @@
 **/log/
 
 # Resources
-resources/
+resources
 
 # Stone-prover repository
 stone-prover

diff --git a/requirements.txt b/requirements.txt