diff options
| -rw-r--r-- | Tools/scripts/README | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/scripts/README b/Tools/scripts/README index 3811d40bd189..09ee8ce51055 100644 --- a/Tools/scripts/README +++ b/Tools/scripts/README @@ -17,6 +17,7 @@ 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) dialogwrapper.sh - a wrapper for dialog(1) which provides extra features |