changeset 1843:d84ccd790047 plugin-path-config

Checker API update
author Chris Cannam
date Wed, 06 Jun 2018 15:56:09 +0100
parents 929d369881d2
children 2b09b4dce8c4
files repoint-lock.json
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Wed Jun 06 13:53:10 2018 +0100
+++ b/repoint-lock.json	Wed Jun 06 15:56:09 2018 +0100
@@ -4,16 +4,16 @@
       "pin": "328cb056da44"
     },
     "svcore": {
-      "pin": "f52bf66b9096"
+      "pin": "dcff44a76573"
     },
     "svgui": {
-      "pin": "9f9a7edd7d89"
+      "pin": "11888b7e193d"
     },
     "svapp": {
       "pin": "7da68349a0c5"
     },
     "checker": {
-      "pin": "6905d8b146f6"
+      "pin": "4154894d638c"
     },
     "piper": {
       "pin": "dde809643316e7bb606fc14d66e55f07059bcf36"