Remove old darcs boring file

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

Description

Remove old darcs boring file

Details

Committed
dtereiAug 10 2011, 2:23 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFdb2ac3a7acd6: Delete stray comma in doc for encodeFloat
Branches
Unknown
Tags
Unknown