comparison repoint-lock.json @ 2108:d2b06c352067

Handle integer pixel scaling as well
author Chris Cannam
date Thu, 15 Nov 2018 14:22:02 +0000
parents 5decad11dee9
children 8c356423942c
comparison
equal deleted inserted replaced
2107:5decad11dee9 2108:d2b06c352067
5 }, 5 },
6 "svcore": { 6 "svcore": {
7 "pin": "07f23b90701a" 7 "pin": "07f23b90701a"
8 }, 8 },
9 "svgui": { 9 "svgui": {
10 "pin": "28075cc658c9" 10 "pin": "b0eeec95ab5b"
11 }, 11 },
12 "svapp": { 12 "svapp": {
13 "pin": "29bef008588e" 13 "pin": "29bef008588e"
14 }, 14 },
15 "checker": { 15 "checker": {