Updated stylesheet
tree3de488c53373207660af164c61bc7e20cd4abf48
-rwxr-xr-x 1095 0publish-gui
-rw-r--r-- 152600 0publish-gui.glade
-rw-r--r-- 1416 0publish-gui.xml
-rw-r--r-- 18007 COPYING
-rw-r--r-- 9748 archive.py
-rw-r--r-- 9533 implementation.py
-rw-r--r-- 7479 interface.xsl
-rw-r--r-- 19203 main.py
-rw-r--r-- 4674 requires.py
-rw-r--r-- 5815 signing.py
drwxr-xr-x - tests
-rw-r--r-- 4426 xmltools.py