Slightly smarter version number extraction.
tree86c58f16977f3ae0d2d0cb55f4f311183ba25912
-rwxr-xr-x 330 0publish-gui
-rw-r--r-- 87401 0publish-gui.glade
-rw-r--r-- 4801 archive.py
-rw-r--r-- 3958 implementation.py
-rw-r--r-- 10111 main.py
-rw-r--r-- 5289 signing.py
drwxr-xr-x - tests
-rw-r--r-- 3154 xmltools.py