Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 8f29b01e2aea7dc8ca4812e693c37873f6d4d4f7 / . / plugins / org.eclipse.objectteams.otdt.pde.ui / .settings
tree: 0b2eaf5ac2d23d67692d68c951d32e74677ce910 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs