mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00
Code Issues Releases Activity
c227e9a20b
freebsd-ports/math/isabelle
History
Antoine Brodin 1c6ed8eca3 Convert most NO_INSTALL_MANPAGES to USES=imake:noman 
With hat:	portmgr
2014-08-18 19:13:18 +00:00
..
files
distinfo
Makefile Convert most NO_INSTALL_MANPAGES to USES=imake:noman 2014-08-18 19:13:18 +00:00
pkg-descr
pkg-plist