Added 'size-group' attribute to Options.xml elements. This allows grouping
tree653e62f1493c866edf03eeaa40bb114b58b59a03
-rw-r--r-- 4594 .DirIcon
-rw-r--r-- 966 AppInfo.xml
-rwxr-xr-x 873 AppRun
drwxr-xr-x - Help
-rwxr-xr-x 1563 MakeDist
drwxr-xr-x - Messages
drwxr-xr-x - python