Google Git
Sign in
eclipse / platform / eclipse.platform.text / 2a72f45fb7425f07fe595a0210ff07497116e264 / . / org.eclipse.search / .settings
tree: 2c32afa0a4ee84f948ac1dea9fcf83f8163cacb9 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs