xref: /JGit/org.eclipse.jgit.test/.settings/org.eclipse.core.resources.prefs (revision 76b76a6048b9b3dbca965463d4f6f5732ffb784d)