xref: /JGit/org.eclipse.jgit.benchmarks/.settings/org.eclipse.jdt.apt.core.prefs (revision 9a638b08d30f219f35b3bb0a704b8bbaad665920)