/Tools/scripts/

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