diff options
| author | Vasil Dimov <vd@FreeBSD.org> | 2006-12-13 07:32:58 +0000 |
|---|---|---|
| committer | Vasil Dimov <vd@FreeBSD.org> | 2006-12-13 07:32:58 +0000 |
| commit | e2f1d375a7bc108eaae92556add3ae79829e3cac (patch) | |
| tree | 7ff31e7b5c8c4a40e64481d4d1991cc3644d71da /print/pup | |
| parent | Add another missing dependency. (diff) | |
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.
Diffstat (limited to 'print/pup')
0 files changed, 0 insertions, 0 deletions