Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 7c00ef4d2b2c8fa71b970a0d0f6dd8a43e79e771 / plugins / org.eclipse.objectteams.otdt.jdt.ui / .settings
  1. b43a2ae Bug 435109 - with apt in the loop, anchored type may by Stephan Herrmann · 10 years ago
  2. 948452b Bug 435109 - with apt in the loop, anchored type may by Stephan Herrmann · 10 years ago
  3. 3822225 Bug 434950 - update BREE to JavaSE-1.7 by Stephan Herrmann · 10 years ago
  4. 5b0f6d9 off-hand attempt to reconcile existing teams with new handling of LiftingFailedException. by Stephan Herrmann · 13 years ago
  5. f9668cf Fix for Bug 338840 - [ui] adapt to generified jdt.ui by Stephan Herrmann · 14 years ago
  6. 1889a5b Cleanly re-applied all changes 0.7.0->0.7.1 by Stephan Herrmann · 14 years ago
  7. ca07a69 Cleanup of project settings as triggered by by Stephan Herrmann · 14 years ago
  8. 4df5947 Fix qualified names in .project and preferences by Stephan Herrmann · 14 years ago
  9. 0166441 initial commit in accordance with CQ 3784 by Stephan Herrmann · 14 years ago