docs/org.eclipse.wst.xmleditor.doc.user/plugin.properties - sourceediting/webtools.sourceediting - Git at Google

eclipse/sourceediting/webtools.sourceediting/ddae035928a01c94cbae9a176b3b81dc53ee91ef/./docs/org.eclipse.wst.xmleditor.doc.user/plugin.properties

blob: 5142a0730c56af8972515a9072889dd6c9427855 [file]

Plugin.name = XML editor

Powered by Gitiles| Privacy| Termstxt json