diff -r 073d351bdcd3 -r 165eff2a1e10 config/companion_libs/ppl.in --- a/config/companion_libs/ppl.in Sun Sep 13 18:38:06 2009 +0200 +++ b/config/companion_libs/ppl.in Mon Jan 31 19:52:18 2011 +0100 @@ -6,6 +6,11 @@ # Don't remove next line # CT_INSERT_VERSION_BELOW +config PPL_V_0_11 + bool + prompt "0.11 (EXPERIMENTAL)" + depends on EXPERIMENTAL + config PPL_V_0_10_2 bool prompt "0.10.2" @@ -16,4 +21,5 @@ string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "0.11" if PPL_V_0_11 default "0.10.2" if PPL_V_0_10_2