diff repoint-lock.json @ 2373:8036dd41f3aa

Subrepo update
author Chris Cannam
date Wed, 16 Oct 2019 13:05:51 +0100
parents 8d128280bdd6
children d022c02b82b7
line wrap: on
line diff
--- a/repoint-lock.json	Wed Oct 16 12:24:58 2019 +0100
+++ b/repoint-lock.json	Wed Oct 16 13:05:51 2019 +0100
@@ -7,7 +7,7 @@
       "pin": "3db9a9fc2612"
     },
     "svgui": {
-      "pin": "10fe8124dc17"
+      "pin": "2d4107270015"
     },
     "svapp": {
       "pin": "ce698f8d0831"