diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-17 23:55:55 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-17 23:55:55 +0000 |
| commit | f09fed480b881adc3b33c1701f7c288850b10a84 (patch) | |
| tree | 26e135ec10d2269531ec88b501637c7e0aa7197c /NEWS | |
| parent | df5cf2f671e3c2759db5217f78beae3b0deb1095 (diff) | |
| parent | f7d7347fc6e1312896f61f428e3ebf7559d09d72 (diff) | |
| download | mpfr-f09fed480b881adc3b33c1701f7c288850b10a84.tar.gz | |
Merged the with-mini-gmp branch into the trunk: new --with-mini-gmp
configure option to build MPFR against mini-gmp (instead of GMP).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13214 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions