diff repoint-lock.json @ 2037:cc006afb838d

Merge in subrepo
author Chris Cannam
date Thu, 11 Oct 2018 18:47:30 +0100
parents 7f009b5f88e4
children 865113167356
line wrap: on
line diff
--- a/repoint-lock.json	Thu Oct 11 15:56:15 2018 +0100
+++ b/repoint-lock.json	Thu Oct 11 18:47:30 2018 +0100
@@ -7,7 +7,7 @@
       "pin": "66c1988fc906"
     },
     "svgui": {
-      "pin": "93eaff6f206d"
+      "pin": "e7da9c9635ba"
     },
     "svapp": {
       "pin": "b936872faff2"