Google Git
Sign in
gerrit / plugins / reviewnotes / 4f171ebe6b27f2e8a2fa218c2d19b32c59d92080 / . / .settings
tree: 721443a7e5a8f40a96093977c111fd56fe66f9c9 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs