CVS: cvs.openbsd.org: ports

Wed, 29 Jun 2011 11:12:20 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2011/06/29 12:11:25

Modified files:
        math/prover9   : Makefile.inc 
        math/prover9/ladr: Makefile 
        math/prover9/p9m4: Makefile 

Log message:
- tweak MASTER_SITES

Reply via email to