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)
commit61549026973e5aa8b9ffd225f4462017773c58b8
tree4bb4432f03f570c6ad985ca41768646432bb98b1
parent1536b825609bcec416a399b737ed9e4a56292d8f
Don't need darcs' .boring file anymore...
.boring [deleted file]