From 8bfb4abfd5424fc394f043a2c21132771e4304e5 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 6 Apr 2010 20:46:17 +0000
Subject: [PATCH] tools: mark more stuff boring, such as branch repos

---
 .boring | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.boring b/.boring
index e5f036d4a..60ac3667c 100644
--- a/.boring
+++ b/.boring
@@ -113,4 +113,19 @@
 (^|/)\.DS_Store$
 
 
+# cabal stuff
 (^|/)dist$
+
+# profiles etc.
+(^|/)profs($|/)
+
+# compiled tools
+tools/doctest$
+tools/generateledger
+tools/simplifyprof
+
+# site stuff
+website/.*
+
+# branch repos
+(^|/)b[[:digit:]]*-