plugin.properties « org.eclipse.wst.dtdeditor.doc.user « docs - webtools.sourceediting.git - Repo has moved to : https://github.com/eclipse-webtools-sourceediting/sourceediting

index : webtools.sourceediting.git

Repo has moved to : https://github.com/eclipse-webtools-sourceediting/sourceediting

Linux User

about summary refs log tree commit diff stats

path: root/docs/org.eclipse.wst.dtdeditor.doc.user/plugin.properties

blob: 74c2058c9af8a36d3e7b066eda6b33696539f243 (plain) (blame)

# NLS_MESSAGEFORMAT_VAR

pluginName     = DTD Editor documentation
pluginProvider = Eclipse Web Tools Platform

Back to the top