diff repoint-lock.json @ 2301:23fea10161a6 by-id

Update PlayParameters
author Chris Cannam
date Thu, 04 Jul 2019 18:05:32 +0100
parents eb7f4579e5cc
children bac1a8318314
line wrap: on
line diff
--- a/repoint-lock.json	Thu Jul 04 14:32:08 2019 +0100
+++ b/repoint-lock.json	Thu Jul 04 18:05:32 2019 +0100
@@ -4,13 +4,13 @@
       "pin": "62987b6d6a3b"
     },
     "svcore": {
-      "pin": "d0ef65d8dd89"
+      "pin": "77543124651b"
     },
     "svgui": {
-      "pin": "9bf8aa2916e9"
+      "pin": "232262e38051"
     },
     "svapp": {
-      "pin": "7540733f5480"
+      "pin": "610fa108fbcc"
     },
     "checker": {
       "pin": "c8c17e51aab0"