git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b419d3b) | patch
JAL-3056 no backup preferences saved for JalviewJS merge/JAL-3210_developToJSDevelop
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 28 May 2019 13:17:26 +0000 (14:17 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 28 May 2019 13:17:26 +0000 (14:17 +0100)
commit1b8304d543a0beb003842903ce3a662d4bbe37a7
tree381f23efaaa73869eea3574b930aab0b734f2e3dtree | snapshot
parentb419d3b17606d478c234678487ff34d97bfa83cccommit | diff
JAL-3056 no backup preferences saved for JalviewJS
src/jalview/gui/Preferences.java diff | blob | history