From 61549026973e5aa8b9ffd225f4462017773c58b8 Mon Sep 17 00:00:00 2001
From: Marco Baringer <mb@bese.it>
Date: Tue, 4 Dec 2012 12:58:27 +0100
Subject: [PATCH] Don't need darcs' .boring file anymore...

---
 .boring |   14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 .boring

diff --git a/.boring b/.boring
deleted file mode 100644
index 662944f..0000000
--- a/.boring
+++ /dev/null
@@ -1,14 +0,0 @@
-# Boring file regexps:
-\#
-~$
-(^|/)_darcs($|/)
-\.dfsl$
-\.ppcf$
-\.fasl$
-\.x86f$
-\.fas$
-\.lib$
-^docs/html($|/)
-^docs/pdf($|/)
-^\{arch\}$
-(^|/).arch-ids($|/)
-- 
1.7.10.4