]> source.dussan.org Git - vaadin.git/commitdiff
13.0.13 13.0 v13.0.13
authorVaadin Bot <vaadin-bot@users.noreply.github.com>
Mon, 26 Aug 2019 06:50:04 +0000 (06:50 +0000)
committerVaadin Bot <vaadin-bot@users.noreply.github.com>
Mon, 26 Aug 2019 06:50:04 +0000 (06:50 +0000)
bower.json
package.json

index 90cdc404211c88beacf3c8f9a3fde9260b6c05c7..f4564223a42f45da51c615092c90206eb024a29b 100644 (file)
@@ -19,7 +19,7 @@
     "update-core-version.js"
   ],
   "dependencies": {
-    "vaadin-core": "vaadin-core#13.0.13",
+    "vaadin-core": "13.0.13",
     "vaadin-board": "vaadin-board#2.1.0",
     "vaadin-charts": "vaadin-charts#6.2.3",
     "vaadin-confirm-dialog": "vaadin-confirm-dialog#1.1.4",
index 40db0adc288d15cf1e18c258b2cdd7d0648740d7..14b216c5b501a7206c332c99bfb7907b9cc010c1 100644 (file)
@@ -1,6 +1,6 @@
 {
   "name": "@vaadin/vaadin",
-  "version": "13.0.12",
+  "version": "13.0.13",
   "description": "Vaadin Elements is an evolving set of open source custom HTML elements 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)",