1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-29 01:13:08 +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 - Fix build with new texi2html 2012-07-12 14:05:30 +00:00
distinfo - Update to 4.1 2012-04-19 22:38:31 +00:00
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