diff repoint-lock.json @ 1855:e1ecbd703763 plugin-path-config

Use KnownPlugins for plugin path settings stuff
author Chris Cannam
date Fri, 08 Jun 2018 14:34:29 +0100
parents 5ef2df5bb886
children 224074c9095c
line wrap: on
line diff
--- a/repoint-lock.json	Fri Jun 08 11:54:17 2018 +0100
+++ b/repoint-lock.json	Fri Jun 08 14:34:29 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "54277cb679ff"
     },
     "svcore": {
-      "pin": "5ac102155409"
+      "pin": "75fe1c1e003f"
     },
     "svgui": {
-      "pin": "11888b7e193d"
+      "pin": "34b941921ac8"
     },
     "svapp": {
       "pin": "a558a3fb44fc"