1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index d77b4bef3..eaa6b8f72 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,6 +35,7 @@
 *.v.pdf
 *.v.ps
 *.v.html
+*.stamp
 revision
 TAGS
 .DS_Store
@@ -50,6 +51,7 @@ kernel/byterun/dllcoqrun.so
 states/initial.coq
 coqdoc.sty
 test-suite/lia.cache
+test-suite/trace
 
 # documentation