Sign in
gerrit
/
prolog-cafe
/
199d14f3309e089912c2aabde0391a61e2bdad02
/
.
/
.settings
tree: eb578cecac136c5f4623b2f7fa49ddd67f24cfc5 [
path history
]
[
tgz
]
org.eclipse.core.resources.prefs
org.eclipse.core.runtime.prefs
org.eclipse.jdt.core.prefs
org.eclipse.jdt.ui.prefs