CVS: cvs.openbsd.org: ports

[Matthias Kilian]

CVSROOT:        /cvs
Module name:    ports
Changes by:     k...@cvs.openbsd.org    2015/12/20 00:51:09

Removed files:
        math/hs-half   : _ 

Log message:
Oops. Remove bogus file.