diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-14 11:17:17 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-14 11:17:17 +0000 |
| commit | bdcfea39f2467be9eb43bbb034623ac1fab8e260 (patch) | |
| tree | 06295c8ad4de7cfee1b7b76616160d1b87c6d3a4 | |
| parent | fa34bd7b1a3bb95dc6897297b09ea9992f31c674 (diff) | |
| download | mpfr-bdcfea39f2467be9eb43bbb034623ac1fab8e260.tar.gz | |
Created a with-mini-gmp branch for a new --with-mini-gmp option,
as this will need some testing.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/with-mini-gmp@13190 280ebfd0-de03-0410-8827-d642c229c3f4
0 files changed, 0 insertions, 0 deletions