Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 7b1bf227f827dc90f732c1d87cf1cef884cfab1f / org.eclipse.jdt.core / .settings / org.eclipse.core.resources.prefs
  1. 881bc14 update jdt.core to I20140806-2000 (4.5 M1) by Stephan Herrmann ยท 8 years ago