diff options
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 |