org.eclipse.ui.workbench.texteditor/schema - platform/eclipse.platform.text - Git at Google

eclipse / platform / eclipse.platform.text / refs/heads/R2_1_maintenance / . / org.eclipse.ui.workbench.texteditor / schema

tree: 177f19727344d91694a141a6d517d15e2f0734d1 [path history] [tgz]

markerAnnotationSpecification.exsd

Powered by Gitiles| Privacy| Termstxt json