.gitignore .vscode

aantron · Nov 7, 2021 · 5d3605e · 5d3605e
1 parent 4f37c1a
commit 5d3605e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,3 +6,4 @@ docs/html/
 docs/*.zip
 _coverage/
 _opam/
+.vscode/