diff options
Diffstat (limited to 'push/build.xml')
| -rw-r--r-- | push/build.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/push/build.xml b/push/build.xml index 2cd86d9ce5..f18caf69b4 100644 --- a/push/build.xml +++ b/push/build.xml @@ -12,8 +12,8 @@ <property name="result.dir" location="result" /> <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.14-2" /> + <!-- Keep the version number in sync with ivy.xml and server/src/com/vaadin/server/Constants.java--> + <property name="atmosphere.version" value="1.0.14-vaadin1" /> <property name="jquery.version" value="1.7.2" /> <path id="classpath.compile.custom" /> |