Changes

#5 (Nov 24, 2015, 10:53:29 AM)

1. add metainfo missing for OSSRH deployment — Stephan Leicht Vogt / githubweb

#4 (Nov 24, 2015, 10:30:05 AM)

1. Renamed *NavigateButton to *NavigateMenu. Removed unused UI texts. — Andre Wegmueller / githubweb

#2 (Nov 24, 2015, 10:10:49 AM)

1. update usage info in release script — Stephan Leicht Vogt / githubweb
2. switch shell scripts to standard "#!/bin/bash" — Stephan Leicht Vogt / githubweb