Google Git
Sign in
eclipse / pde / eclipse.pde.ui / I20171115-0025 / . / ui / org.eclipse.pde.genericeditor.extension / .settings
tree: 51464d6b20774d5792a3c1c627e40180c4b11881 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs