From: gmungoc Date: Fri, 15 Feb 2019 07:45:57 +0000 (+0000) Subject: Merge branch 'features/JAL-3010ontologyFeatureSettings' into merge/JAL-3187_JAL-3010 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=50452c1ba64e6a8eb7fb06a79b779357d6488cbf;p=jalview.git Merge branch 'features/JAL-3010ontologyFeatureSettings' into merge/JAL-3187_JAL-3010 --- 50452c1ba64e6a8eb7fb06a79b779357d6488cbf