/tools/

• ../
• build-debian.sh
• build-test.sh
• debian
• git-version.sh
• makedist.sh