Sign in
eclipse
/
sourceediting
/
webtools.sourceediting
/
8d807911041591c69b6b889ce65210569f9f6a30
/
.
/
docs
/
org.eclipse.wst.dtd.ui.infopop
/
plugin.properties
blob: d6dee266c3a060956c920bc72a72540e91b29129 [
file
]
pluginName
=
DTD
Editor
infopops
