update .gitignore

randy408 · Aug 7, 2019 · 43ab475 · 43ab475
1 parent cf15aba
commit 43ab475
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -2,9 +2,12 @@
 /cbuild/
 /clang_build/
 /arm_build/
+/vbuild/
+/check_build/
 /benchmark_images/
 /subprojects/*/
-/docs/_build/
 /.vscode/
+/.frama-c/
 /trash/
 /tests/formal/
+/site/