/tools/

• ../
• average
• build
• buildall
• confirm.py
• drewr.dat
• excludes
• fullcheck
• myacprep
• pre-commit
• prepall
• proof
• push
• regtest
• rename.sh
• runtests.py
• sample.py
• sample.sh
• speedcmp
• template.h
• transfer.dat