Remove old darcs boring file
authorDavid Terei <davidterei@gmail.com>
Wed, 10 Aug 2011 19:32:31 +0000 (12:32 -0700)
committerDavid Terei <davidterei@gmail.com>
Wed, 10 Aug 2011 19:32:31 +0000 (12:32 -0700)
commit104e7e5a7b33424f34e98825a0d4ccb7614ca7c2
tree7d5d5e318071654883078edfaa3bf1ff5be4a6bc
parentca1eddebbbc875d18394ff11ecbe2d35e81f377b
Remove old darcs boring file
.darcs-boring [deleted file]