mnag 2005-10-29 20:14:47 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile
Log:
Drop MAINTAINER
PR: 88197
Submitted by: Rene Ladan <r.c.ladan at student.tue.nl> (maintainer)
Revision Changes Path
1.7 +1 -1 ports/math/coq/Makefile