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