Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 382222533c10189ae5e2d4352860129f24f486ce / plugins / org.eclipse.objectteams.otdt / .settings / org.eclipse.jdt.core.prefs
  1. 3822225 Bug 434950 - update BREE to JavaSE-1.7 by Stephan Herrmann · 10 years ago
  2. 1764938 off-hand attempt to reconcile existing teams with new handling of LiftingFailedException. by Stephan Herrmann · 13 years ago
  3. 0166441 initial commit in accordance with CQ 3784 by Stephan Herrmann · 14 years ago