From d46ddb1d71d7a6bd3f539fe5973b50a1e7e0f906 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 24 Jun 2013 08:17:44 -0700
Subject: [PATCH] tools: more ignores

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index 0b5c110c2..d4973f5f9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,5 +18,9 @@ site/[0-9]*
 /templates
 profs/profs
 t.*
+tt.*
+ttt.*
+tttt.*
+ttttt.*
 site/api
 .haddockprologue