diff options
Diffstat (limited to 'config/companion_libs')
-rw-r--r-- | config/companion_libs/cloog.in | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index df29853..6282997 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -26,21 +26,6 @@ config CLOOG_V_0_15_6 bool prompt "0.15.6" -config CLOOG_V_0_15_5 - bool - prompt "0.15.5 (OBSOLETE)" - depends on OBSOLETE - -config CLOOG_V_0_15_4 - bool - prompt "0.15.4 (OBSOLETE)" - depends on OBSOLETE - -config CLOOG_V_0_15_3 - bool - prompt "0.15.3 (OBSOLETE)" - depends on OBSOLETE - endchoice config CLOOG_VERSION |