Sign in
eclipse
/
papyrus
/
org.eclipse.papyrus-designer
/
42fd8111bce081537a2617b3e19aee1f4363155b
/
.
/
gui
/
org.eclipse.papyrus.designer.ui
/
.settings
tree: 271cc6748dbf75ac666a8cf71d6ec0f0396027bf [
path history
]
[
tgz
]
org.eclipse.core.resources.prefs
org.eclipse.jdt.core.prefs
org.eclipse.jdt.ui.prefs
org.eclipse.m2e.core.prefs