diff options
Diffstat (limited to 'docs/org.eclipse.wst.webtools.doc.user/build.properties')
| -rw-r--r-- | docs/org.eclipse.wst.webtools.doc.user/build.properties | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/docs/org.eclipse.wst.webtools.doc.user/build.properties b/docs/org.eclipse.wst.webtools.doc.user/build.properties deleted file mode 100644 index f7faab09d4..0000000000 --- a/docs/org.eclipse.wst.webtools.doc.user/build.properties +++ /dev/null @@ -1,15 +0,0 @@ -bin.includes = plugin.xml,\ - webtools_toc.xml,\ - org.eclipse.wst.webtools.doc.userindex.xml,\ - about.html,\ - images/,\ - topics/*htm*,\ - index/,\ - META-INF/,\ - plugin.properties -src.includes = build.properties,\ - *.maplist,\ - *.ditamap,\ - topics/*.dita -bin.excludes = DocBuild.xml,\ - myPlugin*.xml
\ No newline at end of file |