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