build.properties « org.eclipse.wst.xmleditor.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.xmleditor.doc.user/build.properties

blob: f067ebf3e33daef5d19f1d311169326b9e45aeca (plain) (blame)

bin.includes = XMLBuildermap_toc.xml,\
               about.html,\
               images/,\
               plugin.properties,\
               plugin.xml,\
               topics/
src.includes = build.properties

Back to the top