diff options
Diffstat (limited to 'push/build.xml')
| -rw-r--r-- | push/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/push/build.xml b/push/build.xml index 9afe76620c..4e180fa03d 100644 --- a/push/build.xml +++ b/push/build.xml @@ -18,7 +18,7 @@ location="${result.dir}/js/VAADIN/vaadinPush.debug.js" /> <!-- Keep the version number in sync with ivy.xml, server/src/com/vaadin/server/Constants.java --> - <property name="atmosphere.runtime.version" value="2.2.4.vaadin2" /> + <property name="atmosphere.runtime.version" value="2.2.4.vaadin3" /> <property name="jquery.js" location="lib/jquery/jquery-1.11.0.js" /> <path id="classpath.compile.custom" /> |