diff vext-lock.json @ 1770:893f556cd5c9

Untabify
author Chris Cannam
date Thu, 01 Mar 2018 18:02:33 +0000
parents 0698743f52a4
children 4bbff21498ed
line wrap: on
line diff
--- a/vext-lock.json	Thu Mar 01 14:44:21 2018 +0000
+++ b/vext-lock.json	Thu Mar 01 18:02:33 2018 +0000
@@ -4,13 +4,13 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "87ae75da6527"
+      "pin": "48e9f538e6e9"
     },
     "svgui": {
-      "pin": "6e724c81f18f"
+      "pin": "a34a2a25907c"
     },
     "svapp": {
-      "pin": "72b4870f0e6b"
+      "pin": "b23bebfdfaba"
     },
     "checker": {
       "pin": "cf18645ff411"