changeset 2108:d2b06c352067

Handle integer pixel scaling as well
author Chris Cannam
date Thu, 15 Nov 2018 14:22:02 +0000
parents 5decad11dee9
children 8c356423942c
files repoint-lock.json
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Thu Nov 15 14:04:56 2018 +0000
+++ b/repoint-lock.json	Thu Nov 15 14:22:02 2018 +0000
@@ -7,7 +7,7 @@
       "pin": "07f23b90701a"
     },
     "svgui": {
-      "pin": "28075cc658c9"
+      "pin": "b0eeec95ab5b"
     },
     "svapp": {
       "pin": "29bef008588e"