diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-04-30 10:47:49 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-04-30 10:47:49 (GMT) |
commit | 396e68116cc6e7a6ad08ad861e990dfdb3799ceb (patch) | |
tree | d25a74d55f6aab937ac1adc50c750d43601f182f | |
parent | 86c54d80791ab37b88bf3813794fb1fa04e1b251 (diff) |
Remove obsolete MPFR version, as it is no longer available for download.
/trunk/config/cc/mpfr.in | 5 0 5 0 -----
1 file changed, 5 deletions(-)
-rw-r--r-- | config/cc/mpfr.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/config/cc/mpfr.in b/config/cc/mpfr.in index d2e2b00..b033a9e 100644 --- a/config/cc/mpfr.in +++ b/config/cc/mpfr.in @@ -4,10 +4,6 @@ choice bool prompt "MPFR version" -config MPFR_V_2_3_0 - bool - prompt "2.3.0" - config MPFR_V_2_3_1 bool prompt "2.3.1" @@ -18,7 +14,6 @@ endchoice config MPFR_VERSION string - default "2.3.0" if MPFR_V_2_3_0 default "2.3.1" if MPFR_V_2_3_1 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! |