1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-06 06:30:19 +00:00
freebsd-ports/Tools
Vasil Dimov e2f1d375a7 Add check for existing non-closed PRs related to the port being removed.
If any are found then ask if the port should be skipped from removal or
removed regardless of the PRs.
2006-12-13 07:32:58 +00:00
..
portbuild - add check sysvipc 2006-12-03 17:59:09 +00:00
scripts Add check for existing non-closed PRs related to the port being removed. 2006-12-13 07:32:58 +00:00
make_index
make_readmes