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