diff options
Diffstat (limited to 'Tools/scripts/README')
| -rw-r--r-- | Tools/scripts/README | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Tools/scripts/README b/Tools/scripts/README index fc1cad03af42..7c2e9232d16d 100644 --- a/Tools/scripts/README +++ b/Tools/scripts/README @@ -17,7 +17,6 @@ checknewvers - checks for availability for a newest version of distfiles on chkorigin.sh - checks all ports in the tree for a wrong PKGORIGIN. Run this tool after every repocopy. close-pr - a slightly hacked version of edit-pr(1) to quickly close PR. -convert-makefile-header.pl - converts old style headers to modern one-line version de-pkg-comment - converts pkg-comment to COMMENT (will be obsoleted when the mass conversion is finished) distclean - compare md5 sums of distfiles in ports/distfiles with currently |