mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-06 11:41:52 +00:00
877b8a533b
WITHOUT_FOO. Begin the process of reserving these prefixes for user defined options. No comment by: ports