diff repoint-lock.json @ 2342:175ece418988

Merge from branch time-frequency-boxes
author Chris Cannam
date Mon, 07 Oct 2019 09:36:11 +0100
parents 9caf5ca5e6cf 1e77e4ee27f5
children b35d9a313f38
line wrap: on
line diff
--- a/repoint-lock.json	Mon Oct 07 09:32:50 2019 +0100
+++ b/repoint-lock.json	Mon Oct 07 09:36:11 2019 +0100
@@ -4,13 +4,13 @@
       "pin": "0b6802e3b755"
     },
     "svcore": {
-      "pin": "71e97de5053f"
+      "pin": "13bd41bd8a17"
     },
     "svgui": {
-      "pin": "d5ef91dc2ea7"
+      "pin": "88fcbc4d93dd"
     },
     "svapp": {
-      "pin": "3e930ea94db6"
+      "pin": "8e9702c0b9c7"
     },
     "checker": {
       "pin": "c8c17e51aab0"