tools: more ignores

simonmichael · Jun 24, 2013 · d46ddb1 · d46ddb1
1 parent f6be82e
commit d46ddb1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -18,5 +18,9 @@ site/[0-9]*
 /templates
 profs/profs
 t.*
+tt.*
+ttt.*
+tttt.*
+ttttt.*
 site/api
 .haddockprologue