Google Git
Sign in
eclipse / www.eclipse.org / eclipse / 84493dc7d6abe7c9403230ad03b3da68ea73d735 / . / platform-ui / plugins / org.eclipse.ui.ide.markers.compatibility / schema
tree: 29e26b0ea6298c4fe8fcae8e2b48a89fed235db5 [path history] [tgz]
  1. compatibilityMarkerSupport.exsd