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