add patch version number option to release script
tree1762845e37de2c19a83e5699d7a4816c128c868c
-rw-r--r-- 2017 .clang-format
-rw-r--r-- 73 .gitignore
-rw-r--r-- 2194 AUTHORS
-rw-r--r-- 10744 CMakeLists.txt
-rw-r--r-- 61 CONTRIBUTING.md
-rw-r--r-- 17992 COPYING
-rw-r--r-- 37582 ChangeLog
-rw-r--r-- 4172 README.md
-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 5811 new-release.py
drwxr-xr-x - packaging
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - themes
-rw-r--r-- 437 tint2.config
-rw-r--r-- 10 tint2.creator
-rw-r--r-- 1425 tint2.desktop
-rw-r--r-- 5813 tint2.files
-rw-r--r-- 667 tint2.includes
-rw-r--r-- 13181 tint2.svg