From: soares <bsoares@dundee.ac.uk>
Date: Wed, 22 Apr 2020 19:58:55 +0000 (+0100)
Subject: JAL-3225 save auto formatting settings in org.eclipse.jdt.ui.prefs.  Not yet put... 
X-Git-Tag: Develop-2_11_2_0-d20201215~24^2~68^2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=26f79fac447ccf6235bbf52992455f0a2bc6cbcd;hp=26f79fac447ccf6235bbf52992455f0a2bc6cbcd;p=jalview.git

JAL-3225 save auto formatting settings in org.eclipse.jdt.ui.prefs.  Not yet put into place, but these settings should be used
---