/contrib/devtools/

• ../
• README.md
• circular-dependencies.py
• clang-format-diff.py
• copyright_header.py
• gen-manpages.sh
• github-merge.py
• optimize-pngs.py
• security-check.py
• split-debug.sh.in
• symbol-check.py
• test-security-check.py
• update-translations.py