/scripts/

• ../
• extract-group-names-from-symbols.sh
• publish.sh
• pull_translations.sh
• symbols-tree.py