diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-07-01 10:21:37 +0200 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-07-01 10:21:37 +0200 |
commit | 407aeb28dbf44e8eb31141fc2627939e6edddbe0 (patch) | |
tree | 6f4e770cb1f5914bfed35b7242417837cadfbc01 /src/dot.c | |
parent | 83975da8b13b867dc5f741b9506799cd0529ef1b (diff) | |
download | mpc-git-407aeb28dbf44e8eb31141fc2627939e6edddbe0.tar.gz |
[mpcheck] print GMP/MPFR versions
Diffstat (limited to 'src/dot.c')
0 files changed, 0 insertions, 0 deletions