/Tools/scripts/

• ../
• README
• README.patchtool
• README.portsearch
• addport
• checknewver.sh
• checksum.sh
• close-pr
• consistency-check
• distclean.sh
• getpr
• gnomedepends.py
• mkptools
• patchtool.py
• plist
• portsearch
• prdone
• prpatch
• update-patches