/tools/

• ../
• build-debian.sh
• build-test.sh
• check_curl_symbols.py
• check_scripts.sh
• debian
• git-version.sh
• makedist.sh