mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-06 06:30:19 +00:00
9ad6b3281d
- While I'm here: - Remove deprecated PTHREAD_* - Convert to new OPTIONS helper - Support STAGEDIR PR: ports/181887 Submitted by: KATO Tsuguru <tkato432@yahoo.com> |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-plist |