1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-18 03:46:03 +00:00
freebsd-ports/math/proofgeneral
Bryan Drewery ee4796ca44 - Don't delete gnomehier directories
Approved by:	portmgr (implicit)
Pointyhat to:	bdrewery (for breaking poudriere deleted dir detection leading to the previous commit)
2013-04-15 18:55:01 +00:00
..
files
distinfo
Makefile - Don't delete gnomehier directories 2013-04-15 18:55:01 +00:00
pkg-descr
pkg-plist - Don't delete gnomehier directories 2013-04-15 18:55:01 +00:00