diff options
Diffstat (limited to 'config/companion_libs/gmp.in')
| -rw-r--r-- | config/companion_libs/gmp.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index 608752a6..86f528d1 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -26,16 +26,6 @@ config GMP_V_4_3_0 bool prompt "4.3.0" -config GMP_V_4_2_4 - bool - prompt "4.2.4 (OBSOLETE)" - depends on OBSOLETE - -config GMP_V_4_2_2 - bool - prompt "4.2.2 (OBSOLETE)" - depends on OBSOLETE - endchoice config GMP_VERSION @@ -47,5 +37,3 @@ config GMP_VERSION default "4.3.2" if GMP_V_4_3_2 default "4.3.1" if GMP_V_4_3_1 default "4.3.0" if GMP_V_4_3_0 - default "4.2.4" if GMP_V_4_2_4 - default "4.2.2" if GMP_V_4_2_2 |