Sign in
eclipse
/
e4
/
eclipse.platform.ui.e4
/
refs/heads/bug123
/
.
/
tests
/
org.eclipse.e4.ui.menu.tests.p4
/
.settings
tree: 31aeeb98658486c126c6a75f4a5a2d94bd68a121
org.eclipse.jdt.core.prefs