Google Git
Sign in
eclipse / www.eclipse.org / eclipse / 70b1d71d78851a900225b5e7ac002cbf01b68998 / . / platform-ui / plugins / org.eclipse.ui.ide.markers.compatibility / .settings
tree: 126e9783cafe60496c14e17230d94157df612485 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs