Author: tibbs Update of /cvs/pkgs/rpms/emacs-common-proofgeneral/devel In directory cvs1.fedora.phx.redhat.com:/home/fedora/tibbs/CVSROOT/admin/tmpcvsh23345/rpms/emacs-common-proofgeneral/devel Log Message: Directory /cvs/pkgs/rpms/emacs-common-proofgeneral/devel added to the repository