Google Git
Sign in
eclipse / pde / eclipse.pde.ui / refs/tags/I20210723-1800 / . / ds / org.eclipse.pde.ds.lib / .settings
tree: 1101c12479cac12576b1b5f279c658129b4458b0 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.core.prefs