diff options
Diffstat (limited to 'config/companion_libs/ppl.in')
| -rw-r--r-- | config/companion_libs/ppl.in | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in index c641a882..a6d4f70a 100644 --- a/config/companion_libs/ppl.in +++ b/config/companion_libs/ppl.in @@ -8,20 +8,17 @@ choice config PPL_V_0_11_2 bool - prompt "0.11.2 (EXPERIMENTAL)" - depends on EXPERIMENTAL + prompt "0.11.2" select PPL_0_11 config PPL_V_0_11_1 bool - prompt "0.11.1 (EXPERIMENTAL)" - depends on EXPERIMENTAL + prompt "0.11.1" select PPL_0_11 config PPL_V_0_11 bool - prompt "0.11 (EXPERIMENTAL)" - depends on EXPERIMENTAL + prompt "0.11" select PPL_0_11 config PPL_V_0_10_2 |