CVS: cvs.openbsd.org: ports

[Edd Barrett]

CVSROOT:        /cvs
Module name:    ports
Changes by:     e...@cvs.openbsd.org    2017/04/29 09:37:32

Modified files:
        math           : Makefile 

Log message:
Unlink math/logic2cnf.

OK naddy@