Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 20fb5acd93d36a3a58c4f8265d9ff70b325886a6 / plugins / org.eclipse.objectteams.otdt.samples / .settings / org.eclipse.jdt.core.prefs
  1. 5daa5db Cleanup of project settings as triggered by by Stephan Herrmann ยท 14 years ago