Google Git
Sign in
eclipse / edapt / org.eclipse.emf.edapt / 7a8f482e09d2bfc051af6713cca4cbda14bfb86b / . / plugins / org.eclipse.emf.edapt.history.editor / src / org / eclipse / emf / edapt / history / preferences / ui
tree: 2b9b25c77cd935ea807fcd4b55c4ea40dc7bf638 [path history] [tgz]
  1. HistoryPreferencePage.java
  2. PromptKind.java
  3. ResourcePreferences.java