update .gitignore

[coq-hetmet.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index f7f85d1..e420df5 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,7 @@ examples/tutorial.pdf
 build/
 build/**
 examples/.build
+examples/*.o
+examples/*.hi
+
+