diff options
| author | david_williams | 2005-10-18 04:56:06 +0000 |
|---|---|---|
| committer | david_williams | 2005-10-18 04:56:06 +0000 |
| commit | 1711e94e998f4bef186504a5156fdb35864b8566 (patch) | |
| tree | 72fb2469e696e395e8903e9c9c49efa59a22855f /docs | |
| parent | 51fa3805e33b08e67cd9488c532e91e770224fc3 (diff) | |
| download | webtools.webservices-1711e94e998f4bef186504a5156fdb35864b8566.tar.gz webtools.webservices-1711e94e998f4bef186504a5156fdb35864b8566.tar.xz webtools.webservices-1711e94e998f4bef186504a5156fdb35864b8566.zip | |
prep for new features
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/org.eclipse.wst.wsdl.ui.doc.user/build.properties | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/org.eclipse.wst.wsdl.ui.doc.user/build.properties b/docs/org.eclipse.wst.wsdl.ui.doc.user/build.properties new file mode 100644 index 000000000..e4c63affa --- /dev/null +++ b/docs/org.eclipse.wst.wsdl.ui.doc.user/build.properties @@ -0,0 +1,8 @@ +bin.includes = wswsdleditorc_toc.xml,\ + wswsdleditort_toc.xml,\ + about.html,\ + images/,\ + plugin.properties,\ + plugin.xml,\ + topics/,\ + META-INF/ |