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

…