diff repoint-lock.json @ 2560:cbde01e5c626 smoother-recording

Add record-mono setting
author Chris Cannam
date Tue, 16 Jun 2020 17:04:54 +0100
parents a1541224202f
children
line wrap: on
line diff
--- a/repoint-lock.json	Mon Jun 15 18:22:31 2020 +0100
+++ b/repoint-lock.json	Tue Jun 16 17:04:54 2020 +0100
@@ -4,13 +4,13 @@
       "pin": "0e32c328b02a"
     },
     "svcore": {
-      "pin": "2654bf447a84"
+      "pin": "44dba7cd9ec3"
     },
     "svgui": {
-      "pin": "bd1a7c84da8c"
+      "pin": "a6e37c28d762"
     },
     "svapp": {
-      "pin": "7bded7599874"
+      "pin": "56a81812c131"
     },
     "checker": {
       "pin": "e839338d3869"