diff repoint-lock.json @ 2100:e40ddb050bc5

Fix some incorrect pixel scaling
author Chris Cannam
date Wed, 14 Nov 2018 15:04:16 +0000
parents ba4ea63515e8
children a79f1e1213b6
line wrap: on
line diff
--- a/repoint-lock.json	Wed Nov 14 14:29:46 2018 +0000
+++ b/repoint-lock.json	Wed Nov 14 15:04:16 2018 +0000
@@ -7,7 +7,7 @@
       "pin": "50fe6d6a5ef0"
     },
     "svgui": {
-      "pin": "2e316a724336"
+      "pin": "9ea551137329"
     },
     "svapp": {
       "pin": "29bef008588e"