Author: mpeters Update of /cvs/extras/rpms/tetex-prosper/devel In directory cvs-int.fedora.redhat.com:/tmp/cvs-serv26538/tetex-prosper/devel Log Message: Directory /cvs/extras/rpms/tetex-prosper/devel added to the repository