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

eclipse / gerrit / objectteams / org.eclipse.objectteams / 8e5533bb6b85cb810b4fbdd91f358fbb197523ba / . / plugins / org.eclipse.objectteams.otdt / .settings

tree: b1d8a2b8a91fe712387f8ce03a4b20c34f880b65 [path history] [tgz]

org.eclipse.core.resources.prefs
org.eclipse.jdt.core.prefs

Powered by Gitiles| Privacy| Termstxt json