diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-28 18:15:50 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-28 18:15:50 (GMT) |
commit | 0b6a9e5c74a9f0abfd00b67cf25d16990ceb38a8 (patch) | |
tree | 24c6517f482dcb133cb87b4c388cacfb255d8abb /config/companion_libs/gmp.in | |
parent | ac17b542fe3737eb3eb84fd30ada615a21e96b55 (diff) |
config: mark now old versions as being OBSOLETE
These versions are kept for the upcoming release, but they
will be removed from the next release if they are not used.
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 |