Google Git
Sign in
eclipse / gerrit / objectteams / org.eclipse.objectteams / refs/heads/OI2JIRO / . / testplugins / org.eclipse.objectteams.otdt.ui.tests.dom / .settings
tree: 0b95db24c29bb517de3d267581b5e75b5d8d094a [path history] [tgz]
  1. org.eclipse.jdt.core.prefs