Remove old darcs boring file

Authored by dterei on Aug 10 2011, 2:29 PM.

Description

Remove old darcs boring file

Details

Committed
dtereiAug 10 2011, 2:29 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF21adc1de87e0: Formatting fixes
Branches
Unknown
Tags
Unknown