diff options
| author | Artur Signell <artur@vaadin.com> | 2015-09-24 10:20:29 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2015-09-24 08:50:05 +0000 |
| commit | ca3c460cbd6edb801f7919d046a3323f5f8babf1 (patch) | |
| tree | ea92827f99254f2fe6d02b2184c2b463b7f0cfc7 /build.xml | |
| parent | c426c779a76168a8cb239b494ffa498960054f16 (diff) | |
| download | vaadin-framework-ca3c460cbd6edb801f7919d046a3323f5f8babf1.tar.gz vaadin-framework-ca3c460cbd6edb801f7919d046a3323f5f8babf1.zip | |
Adds support for defining the URL to use for push requests (#18989)
Change-Id: I12afaf7e5c5c385f3a19c7dab60f044d8721e082
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions