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