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