diff options
author | Dean Roberts | 2002-05-31 21:16:11 +0000 |
---|---|---|
committer | Dean Roberts | 2002-05-31 21:16:11 +0000 |
commit | eebe562028c3bcbc63c7d6b58547f1f425168e02 (patch) | |
tree | b86d5dc9321bea22ac40c06bfd95be518a3623de /org.eclipse.ui.externaltools | |
parent | 64ae9bb34f780fd748df587d2c2369a66cdf27f9 (diff) | |
download | eclipse.platform.debug-eebe562028c3bcbc63c7d6b58547f1f425168e02.tar.gz eclipse.platform.debug-eebe562028c3bcbc63c7d6b58547f1f425168e02.tar.xz eclipse.platform.debug-eebe562028c3bcbc63c7d6b58547f1f425168e02.zip |
Add src.includes=about.html
Diffstat (limited to 'org.eclipse.ui.externaltools')
-rw-r--r-- | org.eclipse.ui.externaltools/build.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/build.properties b/org.eclipse.ui.externaltools/build.properties index 0c6218c71..a7e53a5b5 100644 --- a/org.eclipse.ui.externaltools/build.properties +++ b/org.eclipse.ui.externaltools/build.properties @@ -2,6 +2,8 @@ source.externaltools.jar = External Tools/ source.lib/antbuilder.jar = Ant Builder +src.includes=about.html + bin.includes = icons/,\ .options,\ plugin.properties,\ |