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