aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
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