diff options
author | Michael Keppler | 2019-04-01 06:15:03 +0000 |
---|---|---|
committer | Michael Keppler | 2019-04-08 20:23:45 +0000 |
commit | 8ce3cea959f2eda100436f9318d34528783fc73b (patch) | |
tree | 6b8be79676e549e691b983ed3bacc06ae04dcfd0 /org.eclipse.egit.github.core.tests/.settings | |
parent | 2f114e85906318d1ae383e1ff6610eb104c184bf (diff) | |
download | egit-github-8ce3cea959f2eda100436f9318d34528783fc73b.tar.gz egit-github-8ce3cea959f2eda100436f9318d34528783fc73b.tar.xz egit-github-8ce3cea959f2eda100436f9318d34528783fc73b.zip |
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: Ifd4ce7d7a6f7909f3e95044f9e99a03c59cfff35
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>
Diffstat (limited to 'org.eclipse.egit.github.core.tests/.settings')
0 files changed, 0 insertions, 0 deletions