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