From faaf371349f885d7c4e2ede31f7a6994766063d4 Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Thu, 28 Mar 2024 09:14:13 +0100 Subject: [PATCH] rm python leftovers --- .gitignore | 5 +---- requirements.txt | 2 -- 2 files changed, 1 insertion(+), 6 deletions(-) delete mode 100644 requirements.txt diff --git a/.gitignore b/.gitignore index a45346a73..d4117030f 100644 --- 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 deleted file mode 100644 index 6ad893532..000000000 --- a/requirements.txt +++ /dev/null @@ -1,2 +0,0 @@ -colorama==0.4.6 -inquirer==3.2.4