CVSROOT: /cvs Module name: ports Changes by: [email protected] 2009/09/18 03:31:33
Modified files:
math/minisat : Makefile
math/minisat/pkg: DESCR
Log message:
- resolve ambiguity about what SAT is (prodded by naddy@)
- take maintainership
