Add .vscode folder to .gitignore

epfl-lara · Feb 15, 2021 · f4df126 · f4df126
1 parent c660dd1
commit f4df126
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -56,3 +56,6 @@ out-classes
 /z3.exe
 /libz3java.dll
 /libz3java.lib
+
+# VS Code
+.vscode