JAL-3225 save auto formatting settings in org.eclipse.jdt.ui.prefs. Not yet put...
authorsoares <bsoares@dundee.ac.uk>
Wed, 22 Apr 2020 19:58:55 +0000 (20:58 +0100)
committersoares <bsoares@dundee.ac.uk>
Wed, 22 Apr 2020 19:58:55 +0000 (20:58 +0100)
commit26f79fac447ccf6235bbf52992455f0a2bc6cbcd
tree9b3c2b39573e1f36a7d6e09133f14ee02c416891
parent421a5c8265f5d65c7dca1827e8f5af0b66ab3fe9
JAL-3225 save auto formatting settings in org.eclipse.jdt.ui.prefs.  Not yet put into place, but these settings should be used
utils/eclipse/org.eclipse.jdt.ui.prefs