diff repoint-lock.json @ 1809:37be120ce569 repoint

Tidy up rounding + tests
author Chris Cannam
date Thu, 10 May 2018 10:12:48 +0100
parents adc8a48f4e4c
children 0fa6b7896968 877331111b89
line wrap: on
line diff
--- a/repoint-lock.json	Wed May 09 13:28:55 2018 +0100
+++ b/repoint-lock.json	Thu May 10 10:12:48 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "aab2d7177d3d"
+      "pin": "2b2b58ae8b59"
     },
     "svgui": {
       "pin": "51e6125627fa"