diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-18 10:09:28 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-18 11:31:49 +0100 |
commit | a14237fc1580b09f8772cd3330b0a445785e48ac (patch) | |
tree | bd49df2949991e9f53caeb47dba7f8cb1a661615 /GNUmakefile | |
parent | 76deb3739d563068ccd4637afa8933d6ddbc70ef (diff) |
Round parameters with signif() before printing
This will hopefully make the test pass on all relevant platforms.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions