rpms/coq/devel - New directory

Kevin Fenzi (kevin) fedora-extras-commits at redhat.com
Tue Jul 15 16:48:05 UTC 2008

Previous message (by thread): rpms/coq - New directory
Next message (by thread): rpms/coq Makefile,NONE,1.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: kevin

Update of /cvs/extras/rpms/coq/devel
In directory cvs-int.fedora.redhat.com:/home/fedora/kevin/CVSROOT/admin/tmpcvsTD2503/rpms/coq/devel

Log Message:
Directory /cvs/extras/rpms/coq/devel added to the repository

Previous message (by thread): rpms/coq - New directory
Next message (by thread): rpms/coq Makefile,NONE,1.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the fedora-extras-commits mailing list