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