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