summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-01-02 01:32:58 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-01-02 01:32:58 +0000
commit0391c5a71fa548558a8f77c30d8323569daf11d2 (patch)
tree70b21f799355a1e41cbb33cc1c4b0db07b30b6a3 /tools
parent37d6dc5edbc61bb28b63ef81b1702fae4eb832cf (diff)
downloadmpfr-0391c5a71fa548558a8f77c30d8323569daf11d2.tar.gz
[INSTALL] Added a note about tuning MPFR:
For the current GMP version (6.1.0), a Unix-like OS is required. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9783 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions