changeset 1800:ec77ade1ab50 horizontal-scale

Merge from default branch
author Chris Cannam
date Wed, 02 May 2018 14:33:41 +0100
parents 8d44bfd19f49 (diff) bea6e7bced25 (current diff)
children 15bb44af8f0d
files vext-lock.json
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/vext-lock.json	Wed May 02 14:32:01 2018 +0100
+++ b/vext-lock.json	Wed May 02 14:33:41 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "0fb5d4e6edeb"
+      "pin": "3a128665fa6f"
     },
     "svgui": {
-      "pin": "3ca1be2e2c91"
+      "pin": "34394e8c2942"
     },
     "svapp": {
       "pin": "f03bc1d38cac"