/tools/

• ../
• average
• build.sh
• cleanup.sh
• excludes
• gendocs.sh
• genuuid
• nix-build.sh
• pre-commit
• prepare-commit-msg
• proof
• push
• rename.sh
• speed-test.sh
• speedcmp
• spellcheck.sh
• times.sh
• update_copyright_year.sh