Google Git
Sign in
third-party-mirror / eclipselink / 5a87dca22dc3774d0c8a54acea27c04c06c064d8 / . / jpa / plugins / javax.validation / .settings
tree: 2803c67fbd2d588c034a73059d21a4f5f9cf1f9d [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.core.prefs