gitignore, remove build directory

tamarin-prover · Jul 25, 2024 · b150d9a · b150d9a
1 parent df645cd
commit b150d9a
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 398 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,16 +5,14 @@
 # Extra
 node_modules
 # Extension
-*.vsix
 out/
+build/
 
 # IDE
-.vscode/
 .vscode-test/
 
 run.sh
 
-.gitignore
 .DS_Store
 
 *.antlr