From 32a3f16135e1a8f78d7fd7629dc1237e9de686b2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Wed, 2 May 2012 14:11:50 +0200 Subject: [PATCH] Add word-based index auxiliary index files to .gitignore. --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 953ef8b..c921081 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,4 @@ _build *.byte myocamlbuild_config.ml *.log +*_swcsa.* \ No newline at end of file -- 2.17.1