diff options
Diffstat (limited to 'push/build.xml')
| -rw-r--r-- | push/build.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/push/build.xml b/push/build.xml index d06b946dd1..953416cf2d 100644 --- a/push/build.xml +++ b/push/build.xml @@ -13,7 +13,7 @@ <property name="vaadinPush.js" location="${result.dir}/js/VAADIN/vaadinPush.js" /> <!-- Keep the version number in sync with ivy.xml --> - <property name="atmosphere.version" value="1.0.12" /> + <property name="atmosphere.version" value="1.0.13" /> <property name="jquery.version" value="1.7.2" /> <path id="classpath.compile.custom" /> @@ -62,7 +62,6 @@ <antcall target="common.sources.jar"> <reference torefid="extra.jar.includes" refid="jar.includes" /> </antcall> - <antcall target="common.javadoc.jar" /> <antcall target="common.publish-local" /> </target> |