diff options
author | Paul Phillips <paulp@improving.org> | 2010-07-20 18:14:54 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-07-20 18:14:54 +0000 |
commit | 272a147c77184502c2560c6a18a241d56c087125 (patch) | |
tree | f2a86ffdb18905c64c91ea28a4a3b61d88cf6ac0 /build.xml | |
parent | f7d2a3fa4e51b64f990244c6025bc7b769f76661 (diff) | |
download | scala-272a147c77184502c2560c6a18a241d56c087125.tar.gz scala-272a147c77184502c2560c6a18a241d56c087125.tar.bz2 scala-272a147c77184502c2560c6a18a241d56c087125.zip |
Fix for stability failure introduced in build.x...
Fix for stability failure introduced in build.xml change. Review by
malayeri (as an FYI.)
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1105,6 +1105,7 @@ BOOTSTRAPPING BUILD (STRAP) <include name="**/*.xml"/> <include name="**/*.js"/> <include name="**/*.css"/> + <include name="**/*.html"/> <include name="**/*.properties"/> <include name="**/*.swf"/> <include name="**/*.png"/> |