Sign in
eclipse
/
papyrus
/
org.eclipse.papyrus-designer
/
42f788f79f9afe7cbba46d1f2fff24b4ea3933ce
/
.
/
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