Google Git
Sign in
eclipse / objectteams / org.eclipse.objectteams / 77ccfaa8db3269500141a35327a5feb101553c41 / . / testplugins / org.eclipse.objectteams.otdt.tests / .settings
tree: 8299f8aa6cd61a3824d4050a5d52e0059bfaa5fe [path history] [tgz]
  1. org.eclipse.jdt.core.prefs