Add .vscode in .gitignore

ocsigen · Apr 26, 2024 · 1d5cfd3 · 1d5cfd3
1 parent 3daa42e
commit 1d5cfd3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,3 +9,4 @@ doc/api-html
 doc/api-wiki
 _opam
 _build
+.vscode