changeset 1861:8c4df1f3fef7

Merge from branch plugin-path-config
author Chris Cannam
date Mon, 11 Jun 2018 14:42:56 +0100
parents 4af1e71eaa3f (diff) d167d3a100d5 (current diff)
children 5191ed1a6d6b
files repoint-lock.json
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Mon Jun 11 14:41:32 2018 +0100
+++ b/repoint-lock.json	Mon Jun 11 14:42:56 2018 +0100
@@ -4,13 +4,13 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "c014839f49c7"
+      "pin": "7459f4c4d7c3"
     },
     "svgui": {
-      "pin": "f24f64e441ac"
+      "pin": "91670e4e76a6"
     },
     "svapp": {
-      "pin": "a558a3fb44fc"
+      "pin": "ca96a514fbbb"
     },
     "checker": {
       "pin": "ae74d39e9e4e"