Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 1d6e2fa1d5b1e54858c88d41bbf9d51d8352f728 / . / plugins / org.eclipse.objectteams.runtime / .settings
tree: f77995d0277f32ad08cb86f2c724218498aae834 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs