1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-09 06:51:44 +00:00
freebsd-ports/math/proofgeneral
Dmitry Marakasov 3df7275272 - Add NO_ARCH
- Don't install empty docdirs

Approved by:	portmgr blanket
2015-09-04 14:26:05 +00:00
..
files
distinfo
Makefile - Add NO_ARCH 2015-09-04 14:26:05 +00:00
pkg-descr
pkg-plist