diff vext-lock.json @ 1741:287a1d388b8d

Update subrepos, add to ignore list
author Chris Cannam
date Thu, 20 Jul 2017 15:01:42 +0100
parents 713ab804d16e
children d187bb2a2a4e
line wrap: on
line diff
--- a/vext-lock.json	Thu Jul 13 15:34:33 2017 +0100
+++ b/vext-lock.json	Thu Jul 20 15:01:42 2017 +0100
@@ -4,10 +4,10 @@
       "pin": "5d9af3140f05"
     },
     "svcore": {
-      "pin": "a533662c17f4"
+      "pin": "8b7d6c1e1ab7"
     },
     "svgui": {
-      "pin": "f683b191dbe6"
+      "pin": "a9c2e791ab8d"
     },
     "svapp": {
       "pin": "72b4870f0e6b"