mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-30 01:15:52 +00:00
Code Issues Releases Activity
5a404d2004
freebsd-ports/math/proofgeneral
History
Andrey Slusar 5a404d2004 Fix deinstall and unbroke port. 
PR:		ports/109930
Submitted by:	Timothy Bourke (maintainer)
2007-03-05 19:38:17 +00:00
..
files Fix deinstall and unbroke port. 2007-03-05 19:38:17 +00:00
distinfo * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00
Makefile Fix deinstall and unbroke port. 2007-03-05 19:38:17 +00:00
pkg-descr
pkg-plist * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00