Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / e9a6edbb0e61a5c561b10057f7cb99eaf36c6252 / org.eclipse.jdt.core / .settings / org.eclipse.jdt.launching.prefs
  1. a1bf656 basic merge of jdt.core to v_B38. by Stephan Herrmann ยท 12 years ago