mykola/freebsd-ports
1
0
Fork 0
forked from Lainports/freebsd-ports
Code Pull requests Activity
freebsd-ports/math/proofgeneral
History
Andrey Slusar b32b35935a * Remove the direct inclusion of bsd.emacs.mk 
* Use the misc/gnomehier and misc/hicolor-icon/theme ports
* Use the latest proofgeneral prerelease

PR:		ports/107414
Submitted by:	Timothy Bourke(maintainer)
2007-02-06 22:55:25 +00:00
..
files * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00
distinfo * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00
Makefile * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00
pkg-descr
pkg-plist * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00