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