Remove old darcs file

Authored by dterei on Jul 20 2011, 4:44 PM.

Description

Remove old darcs file

Details

Committed
dtereiJul 20 2011, 4:44 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF1b292ebb24a0: Update some more files for ghc-regress removal
Branches
Unknown
Tags
Unknown