Proof producer's temporary files deleted and added to .gitignore.

NilFoundation · Dec 21, 2023 · 5bd1442 · 5bd1442
1 parent 495dc52
commit 5bd1442
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 644 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,10 @@
 # Created by https://www.toptal.com/developers/gitignore/api/c++,vim,cmake,latex,macos,jetbrains+all,python,visualstudiocode
 # Edit at https://www.toptal.com/developers/gitignore?templates=c++,vim,cmake,latex,macos,jetbrains+all,python,visualstudiocode
 
+### Proof-producer data ###
+scripts/proof_producer/db
+
+
 ### C++ ###
 # Prerequisites
 *.d