mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-14 03:10:47 +00:00
8ce9326b52
- Respect portdocs PR: ports/125176 Submitted by: Giacomo Mariani <giacomomariani@yahoo.it> (maintainer) |
||
---|---|---|
.. | ||
extra-patch-Makefile | ||
extra-patch-Makefile_NODOC |