/Tools/scripts/

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