Google Git
Sign in
eclipse / dali / webtools.dali / 1c3f230e7da986713b0b09e5fc2a2f061960f45d / . / jpa / plugins / org.eclipse.jpt.ui / src / org / eclipse / jpt / ui / internal / preferences
tree: 7f9cfa54df65bd29dd8da5caad069ad440959ea8 [path history] [tgz]
  1. JpaPreferencesPage.java
  2. JpaProblemSeveritiesPage.java