/tools/

• ../
• Makefile.am
• autogen.sh
• average
• cleanup.sh
• configure.ac
• excludes
• gendocs.sh
• genuuid
• pre-commit
• proof
• push
• rename.sh
• speed-test.sh
• speedcmp
• spellcheck.sh
• times.sh