diff vext-lock.json @ 1734:7f2808142abf

Update libraries
author Chris Cannam
date Mon, 10 Jul 2017 14:39:27 +0100
parents 76872ffc03a3
children 713ab804d16e
line wrap: on
line diff
--- a/vext-lock.json	Mon Jul 10 14:04:44 2017 +0100
+++ b/vext-lock.json	Mon Jul 10 14:39:27 2017 +0100
@@ -4,10 +4,10 @@
       "pin": "5d9af3140f05"
     },
     "svcore": {
-      "pin": "09751743647e"
+      "pin": "a533662c17f4"
     },
     "svgui": {
-      "pin": "14dcdc596baf"
+      "pin": "f683b191dbe6"
     },
     "svapp": {
       "pin": "72b4870f0e6b"