vd 2006-12-13 07:32:58 UTC
FreeBSD ports repository
Modified files:
Tools/scripts rmport
Log:
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.
Revision Changes Path
1.12 +66 -2 ports/Tools/scripts/rmport