From: Ben Soares Date: Thu, 12 Mar 2020 13:49:51 +0000 (+0000) Subject: Merge branch 'develop' into improvement/JAL-3394_added_categories_to_unix_shell_insta... X-Git-Tag: Develop-2_11_2_0-d20201215~58^2~1 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=dfd7cc11fac9a992555837dc4b9828f7c4205f51;p=jalview.git Merge branch 'develop' into improvement/JAL-3394_added_categories_to_unix_shell_installer_desktop_file Merging on develop --- dfd7cc11fac9a992555837dc4b9828f7c4205f51