Google Git
Sign in
eclipse / platform / eclipse.platform.text / refs/heads/AnnotationsRework / . / org.eclipse.ui.editors / schema
tree: 71644d85f7172e5afb9f245b4702d7c59f102703 [path history] [tgz]
  1. documentProviders.exsd
  2. markerAnnotationSpecification.exsd
  3. markerUpdaters.exsd