update release generator (add more git mirrors)
treebe9f427c66af43b201f7c27ab68170a74c62ab3d
-rw-r--r-- 2017 .clang-format
-rw-r--r-- 89 .gitignore
-rw-r--r-- 729 .gitlab-ci.yml
-rw-r--r-- 2427 AUTHORS
-rw-r--r-- 11436 CMakeLists.txt
-rw-r--r-- 61 CONTRIBUTING.md
-rw-r--r-- 17992 COPYING
-rw-r--r-- 43121 ChangeLog
-rw-r--r-- 6089 README.md
-rw-r--r-- 1652 TODO.md
drwxr-xr-x - codegen
-rw-r--r-- 1528 default_icon.png
drwxr-xr-x - doc
-rwxr-xr-x 101 format-code.sh
-rwxr-xr-x 1849 get_version.sh
-rwxr-xr-x 393 make_release.sh
-rwxr-xr-x 6594 new-release.py
drwxr-xr-x - packaging
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - themes
-rw-r--r-- 1425 tint2.desktop
-rw-r--r-- 13181 tint2.svg
-rwxr-xr-x 604 update-generated.sh