From: Ben Soares Date: Thu, 4 Jul 2019 00:04:51 +0000 (+0100) Subject: Merge branch 'develop' into task/JAL-3348_document_cli_memory_settings_when_launching... X-Git-Tag: Release_2_11_0~1^2~6^2~2 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=ab6545b7fa685f046bbb2ee5217a9e89700f3871;p=jalview.git Merge branch 'develop' into task/JAL-3348_document_cli_memory_settings_when_launching_jalview merging in develop --- ab6545b7fa685f046bbb2ee5217a9e89700f3871