Sign in
gerrit
/
prolog-cafe
/
611ca3b912b2d466085ef0fc87715d03c954cce2
/
.
/
.settings
tree: 139a8abfeb8aa1f167f54a69602ae08b6547444a
org.eclipse.core.resources.prefs
org.eclipse.core.runtime.prefs
org.eclipse.jdt.core.prefs