diff repoint-lock.json @ 2073:b248ee65f2c5

Scaling tweaks
author Chris Cannam
date Mon, 05 Nov 2018 13:31:32 +0000
parents be0fee83eecd
children 8b23f76d03de
line wrap: on
line diff
--- a/repoint-lock.json	Mon Nov 05 13:30:08 2018 +0000
+++ b/repoint-lock.json	Mon Nov 05 13:31:32 2018 +0000
@@ -7,7 +7,7 @@
       "pin": "175ef02c7864"
     },
     "svgui": {
-      "pin": "2c01be836570"
+      "pin": "cca66ce390e0"
     },
     "svapp": {
       "pin": "ca64cc9047d0"