diff options
Diffstat (limited to 'docs/org.eclipse.jst.ws.doc.user/build.properties')
| -rw-r--r-- | docs/org.eclipse.jst.ws.doc.user/build.properties | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/docs/org.eclipse.jst.ws.doc.user/build.properties b/docs/org.eclipse.jst.ws.doc.user/build.properties deleted file mode 100644 index 6d15fa01b..000000000 --- a/docs/org.eclipse.jst.ws.doc.user/build.properties +++ /dev/null @@ -1,18 +0,0 @@ -bin.includes = plugin.properties,\ - plugin.xml,\ - webservice_toc.xml,\ - org.eclipse.jst.ws.doc.userindex.xml,\ - about.html,\ - images/,\ - concepts/*.htm*,\ - tasks/*.htm*,\ - ref/*.htm*,\ - index/,\ - META-INF/ -src.includes = *.maplist,\ - *.ditamap,\ - concepts/*.dita,\ - tasks/*.dita,\ - ref/*.dita -bin.excludes = DocBuild.xml,\ - myPlugin*.xml |