/Tools/scripts/

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