minor features, layout improvements, many fixes
tree9afea91b725d1f7f9b9da1083002cfd0a7313658
-rw-r--r-- 35147 COPYING
drwxr-xr-x - devel-tools
drwxr-xr-x - gui