diff repoint-lock.json @ 2009:0ec19725b20b zoom

Gradual ZoomLevel updates
author Chris Cannam
date Wed, 19 Sep 2018 15:42:49 +0100
parents 55d9bbf1fe45
children b1e091bb126c
line wrap: on
line diff
--- a/repoint-lock.json	Mon Sep 17 14:05:41 2018 +0100
+++ b/repoint-lock.json	Wed Sep 19 15:42:49 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "710e6250a401"
+      "pin": "5360f7aba189"
     },
     "svgui": {
-      "pin": "13d9b422f7fe"
+      "pin": "bc2cb82050a0"
     },
     "svapp": {
       "pin": "9e15607531b2"