Google Git
Sign in
eclipse / objectteams / org.eclipse.objectteams / 4c97521b3601845729d17f2878bbf83d264116be / . / testplugins / org.eclipse.objectteams.otdt.ui.tests.dom / .settings
tree: 4f6af0fbb9633f2fb34f04b4e426fc8fe12debda [path history] [tgz]
  1. org.eclipse.jdt.core.prefs