Google Git
Sign in
eclipse / pde / eclipse.pde.ui / I20171115-0025 / . / features / org.eclipse.pde-feature / .settings
tree: 0a3e04e993fa6e933baeb2da87426ffb7fe9b395 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.core.runtime.prefs