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