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