Sign in
eclipse
/
www.eclipse.org
/
eclipse
/
f99b0aa89ec2c98dd25d223a68ed93f9cacd315a
/
.
/
platform-ui
/
plugins
/
org.eclipse.ui.ide.markers.compatibility
/
plugin.xml
blob: da808b6a017147c1dd2520f68ad928f60c8b517e [
file
] [
log
] [
blame
]
<?
xml version
=
"1.0"
encoding
=
"UTF-8"
?>
<?
eclipse version
=
"3.2"
?>
<plugin>
<extension-point
id
=
"compatibilityMarkerSupport"
name
=
"Compatibility Marker Support"
schema
=
"schema/compatibilityMarkerSupport.exsd"
/>
</plugin>