Author: kevin Update of /cvs/extras/rpms/minisat2 In directory cvs-int.fedora.redhat.com:/home/fedora/kevin/CVSROOT/admin/tmpcvsv23082/rpms/minisat2 Log Message: Directory /cvs/extras/rpms/minisat2 added to the repository