aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAnna Koskinen <Ansku@users.noreply.github.com>2019-11-04 17:04:10 +0200
committerAnastasia Smirnova <anasmi@utu.fi>2019-11-04 17:04:10 +0200
commit3e403376ecaccbf60b4ecd1ab22871540069a275 (patch)
tree2a4c429e173adb1100e2cc0f20e2d367ab07b6b7
parent1233caa8763dff61f175020b26918af66af82d95 (diff)
downloadvaadin-framework-3e403376ecaccbf60b4ecd1ab22871540069a275.tar.gz
vaadin-framework-3e403376ecaccbf60b4ecd1ab22871540069a275.zip
Removed a duplicated word in a note. (#11785) (#11789)
-rw-r--r--documentation/addons/addons-maven.asciidoc2
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