diff repoint-lock.json @ 1877:1f56ee4b743a

Improved level-pan widget rendering
author Chris Cannam
date Mon, 25 Jun 2018 15:31:05 +0100
parents f97e5c43ebcc
children e8d09c507758
line wrap: on
line diff
--- a/repoint-lock.json	Fri Jun 22 17:51:57 2018 +0100
+++ b/repoint-lock.json	Mon Jun 25 15:31:05 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "f2fcb3ed51fa"
+      "pin": "71202259002d"
     },
     "svgui": {
-      "pin": "a575dae05fbf"
+      "pin": "5db672d6de4f"
     },
     "svapp": {
       "pin": "d4c16eed673d"