CVS: cvs.openbsd.org: ports

[Edd Barrett]

CVSROOT:        /cvs
Module name:    ports
Changes by:     e...@cvs.openbsd.org    2010/10/24 07:57:02

Modified files:
        math           : Makefile 

Log message:
link logic2cnf