Add precision to the UI
josephburnett opened this issue · 0 comments
josephburnett commented
We have added a -precision
flag: #57 but the UI needs a precision setting too.
josephburnett opened this issue · 0 comments
We have added a -precision
flag: #57 but the UI needs a precision setting too.