]> source.dussan.org Git - vaadin.git/commitdiff
10.0.13 v10.0.13
authorVaadin Bot <vaadin-bot@users.noreply.github.com>
Mon, 8 Apr 2019 11:10:07 +0000 (11:10 +0000)
committerVaadin Bot <vaadin-bot@users.noreply.github.com>
Mon, 8 Apr 2019 11:10:07 +0000 (11:10 +0000)
bower.json
package.json

index 593079960da63c2e3850511de467fc31f66bf749..e989a4cfd480deb261ff7f6161738ca12af49a70 100644 (file)
@@ -18,7 +18,7 @@
     "tests"
   ],
   "dependencies": {
-    "vaadin-core": "vaadin-core#10.0.13",
+    "vaadin-core": "10.0.13",
     "vaadin-board": "vaadin-board#2.0.0",
     "vaadin-charts": "vaadin-charts#6.0.1",
     "vaadin-license-checker": "vaadin-license-checker#2.0.1"
index 13433c124dc95d0eef2077692293841a3183d8ce..0ff2e775003bdca53cb2541befb0a3ec35924b38 100644 (file)
@@ -1,6 +1,6 @@
 {
   "name": "vaadin",
-  "version": "10.0.12",
+  "version": "10.0.13",
   "description": "Vaadin Elements is an evolving set of open source custom HTML elements, built using Polymer, for building mobile and desktop web applications in modern browsers.",
   "author": "Vaadin Ltd",
   "license": "(Apache-2.0 OR SEE LICENSE IN https://vaadin.com/license/cval-3.0)",