CVS: cvs.openbsd.org: ports

Sun, 24 Oct 2010 06:57:41 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]    2010/10/24 07:57:02

Modified files:
        math           : Makefile 

Log message:
link logic2cnf

Reply via email to