Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / dbd8e6cfbdb0aaf25c2582947a308eef5b2c2472 / 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