From: Mateusz Warowny Date: Wed, 8 Jul 2020 12:44:08 +0000 (+0100) Subject: Merge branch 'feature/JAL-3515-slivka-preferences' into alpha/JAL-3066_Jalview_212_sl... X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=9f503489b06e09a6a7aec83048301938e3710863;p=jalview.git Merge branch 'feature/JAL-3515-slivka-preferences' into alpha/JAL-3066_Jalview_212_slivka-integration --- 9f503489b06e09a6a7aec83048301938e3710863