diff options
| author | Ian Jauslin <ian.jauslin@roma1.infn.it> | 2015-10-07 12:51:41 +0000 |
|---|---|---|
| committer | Ian Jauslin <ian.jauslin@roma1.infn.it> | 2015-10-07 13:00:23 +0000 |
| commit | 469bdc80712dbf9c12562059dc4594620b59a076 (patch) | |
| tree | c6da40a884899110d102d82a7a778f2b3afae702 /scripts/config_functions.sh | |
| parent | e7aa6859f08565d58684fa4b9c40fed716f0ba17 (diff) | |
Support MPFR floats in numkondov1.4
Remove '-D' option (error tolerance) in numkondo
Diffstat (limited to 'scripts/config_functions.sh')
0 files changed, 0 insertions, 0 deletions