diff repoint-lock.json @ 2042:bb5123bf83b1

Housekeeping merge
author Chris Cannam
date Fri, 12 Oct 2018 11:18:06 +0100
parents 865113167356 214ee4c2bc61
children c61fdd280a8a
line wrap: on
line diff
--- a/repoint-lock.json	Fri Oct 12 11:13:23 2018 +0100
+++ b/repoint-lock.json	Fri Oct 12 11:18:06 2018 +0100
@@ -7,7 +7,7 @@
       "pin": "616d3e8a250b"
     },
     "svgui": {
-      "pin": "e7da9c9635ba"
+      "pin": "2e3b3fadba27"
     },
     "svapp": {
       "pin": "b936872faff2"