summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-04-30 10:47:49 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-04-30 10:47:49 (GMT)
commit396e68116cc6e7a6ad08ad861e990dfdb3799ceb (patch)
treed25a74d55f6aab937ac1adc50c750d43601f182f
parent86c54d80791ab37b88bf3813794fb1fa04e1b251 (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.in5
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!