Merge pull request tamarin-prover#534 from felixlinker/vscode

gitignore .vscode
yavivanov · Mar 28, 2023 · 12560ff · 12560ff
2 parents ef1c24a + 98495c2
commit 12560ff
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -42,6 +42,7 @@ stack.yaml.lock
 
 *.iml
 .idea/
+.vscode/
 out/
 
 *.pv