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/gmp.in | |
| parent | 06cb0b6ddbbb2f9275b3a71eda3f2ffeff929d90 (diff) | |
| parent | 5b0242a30c12e4ce1366788126cea866b21abeba (diff) | |
Merge.
Diffstat (limited to 'config/companion_libs/gmp.in')
| -rw-r--r-- | config/companion_libs/gmp.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index 75628d9..6702492 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -16,11 +16,13 @@ config GMP_V_4_3_0 config GMP_V_4_2_4 bool - prompt "4.2.4" + prompt "4.2.4 (OBSOLETE)" + depends on OBSOLETE config GMP_V_4_2_2 bool - prompt "4.2.2" + prompt "4.2.2 (OBSOLETE)" + depends on OBSOLETE endchoice |