CVS: cvs.openbsd.org: ports

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

Modified files:
math : Makefile

Log message:
Unlink math/logic2cnf.

OK naddy@