projects / SXSI / xpathcomp.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 94ca223)
Add word-based index auxiliary index files to .gitignore.
authorKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:11:50 +0000 (14:11 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:11:50 +0000 (14:11 +0200)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index 953ef8b..c921081 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,4 @@ _build
 *.byte
 myocamlbuild_config.ml
 *.log
+*_swcsa.*
\ No newline at end of file
XPath Library based on tree automata.