From: gmungoc Date: Wed, 15 Aug 2018 10:01:27 +0000 (+0100) Subject: JAL-3080 remove tree partition if no groups created X-Git-Tag: Release_2_11_0~21 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6f153aac5d457ab69f994d71df1cf30b69d07af5;hp=6f153aac5d457ab69f994d71df1cf30b69d07af5;p=jalview.git JAL-3080 remove tree partition if no groups created ---