mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-06 11:41:52 +00:00
![Wesley Shields](/assets/img/avatar_default.png)
Chase new MASTER_SITE. Add more OPTIONS (default to off). Cleanup post-patch and post-build targets. Remove unnecessary patch. PR: ports/125837 Submitted by: Matthias Andree <matthias.andree@gmx.de> (maintainer)