diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-28 23:10:06 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-28 23:10:06 (GMT) |
| commit | de8f2cea32f14099cf756cbef40d312ffd1894a8 (patch) | |
| tree | af4f9ce5798909cfa1eadec07390425937e3886a /config/companion_libs/mpfr.in | |
| parent | 06cb0b6ddbbb2f9275b3a71eda3f2ffeff929d90 (diff) | |
| parent | 5b0242a30c12e4ce1366788126cea866b21abeba (diff) | |
Merge.
Diffstat (limited to 'config/companion_libs/mpfr.in')
| -rw-r--r-- | config/companion_libs/mpfr.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 61f057a..118e229 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -16,11 +16,13 @@ config MPFR_V_2_4_0 config MPFR_V_2_3_2 bool - prompt "2.3.2" + prompt "2.3.2 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_2_3_1 bool - prompt "2.3.1" + prompt "2.3.1 (OBSOLETE)" + depends on OBSOLETE endchoice |