update .vscodeignore

aspeddro · aspeddro · commit b60b56d3db9f · 2023-11-26T00:46:34.000-03:00
diff --git a/.vscodeignore b/.vscodeignore
@@ -8,3 +8,9 @@ contributing.md
 server/node_modules/.bin
 node_modules/.bin
 analysis/
+tools/
+dune-project
+analysis.opam
+tools.opam
+.ocamlformat
+.ocamlformat-ignore
