Google Git
Sign in
eclipse/gerrit/statet/org.eclipse.statet-r/3ada213f0c6b1f9e131f178b1841689afe6e44b0/./r/org.eclipse.statet.nico.ui/.settings
tree: 1fba8760ffed3c69c17c7a2cc15cfba415b53c28
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs
  3. org.eclipse.jdt.core.prefs
  4. org.eclipse.jdt.ui.prefs