upgrade jdt preferences
commit2f12d644ad6ca7d58fcd78da59afc8e4893e5d52
authorMichael Keppler <Michael.Keppler@gmx.de>
Sun, 31 Mar 2019 17:28:45 +0000 (31 19:28 +0200)
committerMichael Keppler <Michael.Keppler@gmx.de>
Mon, 8 Apr 2019 20:26:52 +0000 (8 22:26 +0200)
treefb2de7501192cc44534b217b6b5700cf2f2cc300
parent903225593fa1998439e13fce9ac69a0de67ecda0
upgrade jdt preferences

Upgrade JDT preferences to current versions (by means of browsing the
project preference pages).

There are no changes in preference values.

Change-Id: I50367fba1b83d7d2ff5d4f08b1eb4bc37e94288a
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>
20 files changed:
org.eclipse.egit.core.junit/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.core.junit/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.core.test/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.core.test/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.core/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.core/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.gitflow.test/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.gitflow.test/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.gitflow.ui/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.gitflow.ui/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.gitflow/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.gitflow/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.mylyn.ui.test/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.mylyn.ui.test/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.mylyn.ui/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.mylyn.ui/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.ui.test/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.ui.test/.settings/org.eclipse.jdt.ui.prefs
org.eclipse.egit.ui/.settings/org.eclipse.jdt.core.prefs
org.eclipse.egit.ui/.settings/org.eclipse.jdt.ui.prefs