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