plugins/org.eclipse.objectteams.otdt.pde.ui/.settings - gerrit/objectteams/org.eclipse.objectteams - Git at Google

eclipse/gerrit/objectteams/org.eclipse.objectteams/refs/heads/master/./plugins/org.eclipse.objectteams.otdt.pde.ui/.settings

tree: a5ebcc33dcdeb1b47517c79a028ede248ae843a5

org.eclipse.jdt.core.prefs

Powered by Gitiles| Privacy| Termstxt json