mirror of
https://git.freebsd.org/ports.git
synced 2025-07-18 17:59:20 -04:00
If any are found then ask if the port should be skipped from removal or removed regardless of the PRs. |
||
---|---|---|
.. | ||
portbuild | ||
scripts | ||
make_index | ||
make_readmes |