1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-22 20:41:26 +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 Fix bogus comments. No code change. 2006-02-02 00:40:37 +00:00
make_readmes Put $FreeBSD$ for ident(1)'ing. 2005-03-13 08:49:38 +00:00