changeset 1853:382dd47984bd plugin-path-config

Environment updates
author Chris Cannam
date Thu, 07 Jun 2018 16:49:47 +0100
parents df146330bc34
children 5ef2df5bb886
files repoint-lock.json
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Thu Jun 07 16:26:38 2018 +0100
+++ b/repoint-lock.json	Thu Jun 07 16:49:47 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "328cb056da44"
     },
     "svcore": {
-      "pin": "5afbac960a30"
+      "pin": "ba27edcd6102"
     },
     "svgui": {
       "pin": "11888b7e193d"