changeset 1810:e988c01a3ab5

Tidy up rounding + tests
author Chris Cannam
date Thu, 10 May 2018 10:13:02 +0100
parents dc4e6eb475ed
children ec7d4f243ffa
files vext-lock.json
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/vext-lock.json	Tue May 08 14:28:58 2018 +0100
+++ b/vext-lock.json	Thu May 10 10:13:02 2018 +0100
@@ -4,7 +4,7 @@
       "pin": "8742125177ae"
     },
     "svcore": {
-      "pin": "aab2d7177d3d"
+      "pin": "2b2b58ae8b59"
     },
     "svgui": {
       "pin": "51e6125627fa"