changeset 1737 | e034c377c89d |
parent 1535 | 073d351bdcd3 |
child 1873 | 4477403726db |
1.1 --- a/config/companion_libs/gmp.in Sun Sep 13 18:38:06 2009 +0200 1.2 +++ b/config/companion_libs/gmp.in Thu Jan 14 23:06:48 2010 +0100 1.3 @@ -16,11 +16,13 @@ 1.4 1.5 config GMP_V_4_2_4 1.6 bool 1.7 - prompt "4.2.4" 1.8 + prompt "4.2.4 (OBSOLETE)" 1.9 + depends on OBSOLETE 1.10 1.11 config GMP_V_4_2_2 1.12 bool 1.13 - prompt "4.2.2" 1.14 + prompt "4.2.2 (OBSOLETE)" 1.15 + depends on OBSOLETE 1.16 1.17 endchoice 1.18