]> source.dussan.org Git - jgit.git/commit
Fix org.eclipse.jdt.core.prefs of org.eclipse.jgit.junit 21/146221/8
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 18 Jul 2019 11:26:22 +0000 (13:26 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 24 Jul 2019 14:21:53 +0000 (16:21 +0200)
commit773cbb5f6373dec45a1520666ab6dc5727d34808
tree6a5eeb764d8eb89730d6b60b060fa10a40a24eb3
parent376c20f45457c0db11850c6e45e11ee764072508
Fix org.eclipse.jdt.core.prefs of org.eclipse.jgit.junit

Use the same JDT core settings as used in org.eclipse.jgit but ignore
non-externalized strings.

Change-Id: If30013c76a197e571601a8abc882ac6a99592374
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit.junit/.settings/org.eclipse.jdt.core.prefs