diff options
| author | Anna Koskinen <Ansku@users.noreply.github.com> | 2019-11-04 11:10:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-04 11:10:19 +0200 |
| commit | f5984b1cb69e32ea138c72dc2f2b47809cda74f8 (patch) | |
| tree | cfa8f42a90507b1fd02cfa04111fd3c61105b413 /documentation/addons/addons-maven.asciidoc | |
| parent | 0e353d91729ad6cda77924d3af37ebf6d5fb89aa (diff) | |
| download | vaadin-framework-f5984b1cb69e32ea138c72dc2f2b47809cda74f8.tar.gz vaadin-framework-f5984b1cb69e32ea138c72dc2f2b47809cda74f8.zip | |
Removed a duplicated word in a note. (#11785)
Diffstat (limited to 'documentation/addons/addons-maven.asciidoc')
| -rw-r--r-- | documentation/addons/addons-maven.asciidoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/addons/addons-maven.asciidoc b/documentation/addons/addons-maven.asciidoc index 7a1cfe99f3..8161894a47 100644 --- a/documentation/addons/addons-maven.asciidoc +++ b/documentation/addons/addons-maven.asciidoc @@ -280,7 +280,7 @@ It is also useful if you maintain your source code in GitHub or a similar servic For production, especially in intranet applications, you should normally use the `local` or `fetch` modes. This ensures that separating the availability of the Vaadin CDN service from availability of the application server does not add an extra point of failure. -_They can be be used for production_ if your application is intended as globally available, you want to gain the global delivery benefit of the Vaadin CDN, and the availability tradeoff is not significant. +_They can be used for production_ if your application is intended as globally available, you want to gain the global delivery benefit of the Vaadin CDN, and the availability tradeoff is not significant. ==== === Serving Remotely Compiled Widget Set Locally |