Google Git
Sign in
third-party-mirror / eclipselink / refs/heads/tag-2.5.2 / . / plugins / com.sun.jersey / .settings
tree: efcdfff1da8ffc835e58a13e0a5617ae1415c45e [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.core.prefs