diff repoint-lock.json @ 1882:6955148c6be9

Property box pushbutton fix for Mac
author Chris Cannam <cannam@all-day-breakfast.com>
date Tue, 26 Jun 2018 14:38:23 +0100
parents e8d09c507758
children dc275d7d9aa6 82a8b639c9ec
line wrap: on
line diff
--- a/repoint-lock.json	Tue Jun 26 13:29:40 2018 +0100
+++ b/repoint-lock.json	Tue Jun 26 14:38:23 2018 +0100
@@ -7,7 +7,7 @@
       "pin": "71202259002d"
     },
     "svgui": {
-      "pin": "5af5c611f4cb"
+      "pin": "13e17e61f898"
     },
     "svapp": {
       "pin": "d4c16eed673d"