Sign in
eclipse
/
edapt
/
org.eclipse.emf.edapt
/
c644c20514008fcb109cb8328a36b94694eaeb2b
/
.
/
plugins
/
org.eclipse.emf.edapt.history.editor
/
src
/
org
/
eclipse
/
emf
/
edapt
/
history
/
preferences
/
ui
tree: 4937abc6f1a74080d849067f54e121af9ef27ff5 [
path history
]
[
tgz
]
HistoryPreferencePage.java
PromptKind.java
ResourcePreferences.java