config/gmp_mpfr/mpfr.in
author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Sat Jul 19 21:22:58 2008 +0000 (2008-07-19) |
changeset 693 |
458facedc485 |
parent 467 |
374d5264fc18
|
child 902 |
25bd163c6886 |
permissions |
-rw-r--r-- |
Split-up download and extract options into two separate files, because download options are begining to be numerous.
/trunk/config/global/extract.in | 193 1 192 0 ----------------------------------------------
/trunk/config/global/download.in | 52 1 51 0 ------------
/trunk/config/global.in | 3 2 1 0 +
3 files changed, 4 insertions(+), 244 deletions(-)