diff options
author | Artur Signell <artur@vaadin.com> | 2013-04-17 19:16:59 +0300 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2013-04-17 20:09:08 +0300 |
commit | cdcdc115b79f0773c2d140e43f58cfe9cb4b1cdb (patch) | |
tree | c3bb8f44a3918c4e4a5e3db903d6cda5d070fd0e /.gitignore | |
parent | 4400b1b62587e74073aac7f3c60710ac535795a5 (diff) | |
download | vaadin-framework-cdcdc115b79f0773c2d140e43f58cfe9cb4b1cdb.tar.gz vaadin-framework-cdcdc115b79f0773c2d140e43f58cfe9cb4b1cdb.zip |
Build a minified version of vaadinPush.js in vaadin-push.jar (#11630)
* Replaced jquery and jquery.atmosphere.js with original, unmodified versions
* Added vaadinPush.js build target to ide.xml and push/build.xml
* Uses yuicompressor to compress the resulting push javascript
Change-Id: I59ba9c2bbf74e05d10325d38efdb106b638cd8e7
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index d2236fafb0..d5899b3d58 100644 --- a/.gitignore +++ b/.gitignore @@ -44,6 +44,8 @@ /WebContent/VAADIN/widgetsets /WebContent/VAADIN/gwt-unitCache* +WebContent/VAADIN/vaadinPush.js + # /WebContent/WEB-INF/ /WebContent/WEB-INF/classes |