From: Marco Baringer <mb@bese.it>
Date: Tue, 4 Dec 2012 11:58:27 +0000 (+0100)
Subject: Don't need darcs' .boring file anymore...
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=61549026973e5aa8b9ffd225f4462017773c58b8;p=fiveam.git

Don't need darcs' .boring file anymore...
---

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($|/)