diff -r d1a8c2ae7946 -r 07a87075fa2d config/companion_libs/ppl.in --- a/config/companion_libs/ppl.in Tue May 31 16:27:39 2011 +0200 +++ b/config/companion_libs/ppl.in Thu Oct 11 14:39:45 2012 +1000 @@ -8,20 +8,17 @@ 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