/scripts/

• ../
• check_version_numbers.py
• create-release-file.py