update .gitignore

edoardottt · Oct 15, 2022 · 1e49541 · 1e49541
1 parent cd4e9d9
commit 1e49541
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -24,5 +24,7 @@ output-scilla/
 
 keys.yaml
 
+scilla
+
 # VScode Debugging folder
 .vscode/