Don't need darcs' .boring file anymore...
authorMarco Baringer <mb@bese.it>
Tue, 4 Dec 2012 11:58:27 +0000 (12:58 +0100)
committerMarco Baringer <mb@bese.it>
Tue, 4 Dec 2012 11:58:27 +0000 (12:58 +0100)
.boring [deleted file]

diff --git a/.boring b/.boring
deleted file mode 100644 (file)
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($|/)