mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-21 04:06:46 +00:00
Code Issues Releases Activity
95ca38510e
freebsd-ports/math/proofgeneral
History
Florent Thoumie d4f0d0048a - Welcome X.org 7.2 \o/. 
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
2007-05-19 20:36:56 +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 - Welcome X.org 7.2 \o/. 2007-05-19 20:36:56 +00:00
pkg-descr
pkg-plist * Remove the direct inclusion of bsd.emacs.mk 2007-02-06 22:55:25 +00:00