diff repoint-lock.json @ 1824:9a1e9d8d7bf0 plugin-path-config

Toward more than one plugin type in this widget
author Chris Cannam
date Mon, 21 May 2018 16:16:31 +0100
parents d0a1bfa2bc48
children bc3e56ef251b
line wrap: on
line diff
--- a/repoint-lock.json	Tue May 15 15:25:32 2018 +0100
+++ b/repoint-lock.json	Mon May 21 16:16:31 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "328cb056da44"
     },
     "svcore": {
-      "pin": "cee1be4fb8c1"
+      "pin": "7d9b537b6a1e"
     },
     "svgui": {
-      "pin": "4683b6ffb76a"
+      "pin": "ed04d3666d33"
     },
     "svapp": {
       "pin": "7da68349a0c5"