Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / cf8a4a0d8dbb791b3d714a5c24a28766f27a3fab / plugins / org.eclipse.objectteams.otdt.jdt.ui / .settings / org.eclipse.jdt.core.prefs
  1. 5b0f6d9 off-hand attempt to reconcile existing teams with new handling of LiftingFailedException. by Stephan Herrmann · 12 years ago
  2. f9668cf Fix for Bug 338840 - [ui] adapt to generified jdt.ui by Stephan Herrmann · 12 years ago
  3. 1889a5b Cleanly re-applied all changes 0.7.0->0.7.1 by Stephan Herrmann · 13 years ago
  4. ca07a69 Cleanup of project settings as triggered by by Stephan Herrmann · 13 years ago
  5. 4df5947 Fix qualified names in .project and preferences by Stephan Herrmann · 13 years ago
  6. 0166441 initial commit in accordance with CQ 3784 by Stephan Herrmann · 13 years ago