comparison repoint-lock.json @ 2042:bb5123bf83b1

Housekeeping merge
author Chris Cannam
date Fri, 12 Oct 2018 11:18:06 +0100
parents 865113167356 214ee4c2bc61
children c61fdd280a8a
comparison
equal deleted inserted replaced
2039:865113167356 2042:bb5123bf83b1
5 }, 5 },
6 "svcore": { 6 "svcore": {
7 "pin": "616d3e8a250b" 7 "pin": "616d3e8a250b"
8 }, 8 },
9 "svgui": { 9 "svgui": {
10 "pin": "e7da9c9635ba" 10 "pin": "2e3b3fadba27"
11 }, 11 },
12 "svapp": { 12 "svapp": {
13 "pin": "b936872faff2" 13 "pin": "b936872faff2"
14 }, 14 },
15 "checker": { 15 "checker": {