JAL-1551 reinstated Save actions
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 12 Sep 2018 10:59:39 +0000 (11:59 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 12 Sep 2018 10:59:39 +0000 (11:59 +0100)
commit78b6e2a08c7780e7d99bd9a1f6e157edd0ddf5d9
treea5d04925fd27b706c5626f00b53dab1d1701f0a4
parentb25aadc2789b8c3ffb74d2ab20a6be6bb1597e7f
JAL-1551 reinstated Save actions
.settings/org.eclipse.jdt.ui.prefs