projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d5a441c)
Add generated test files to .gitignore
authorKim Nguyễn <kn@lri.fr>
Sat, 30 Nov 2013 21:30:05 +0000 (22:30 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 30 Nov 2013 21:30:05 +0000 (22:30 +0100)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index 2925cef..e0ac839 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -19,4 +19,5 @@ remake
 .remake
 src/xpath/xpath_internal_parser.ml
 src/xpath/xpath_internal_parser.mli
+tests/xmark*.xml*
 
Tree Automata TOOlkit