config/companion_libs/ppl.in
changeset 1761 88020b2c3246
parent 1386 7995942261f2
child 2072 72b3996ba3e6
     1.1 --- a/config/companion_libs/ppl.in	Mon May 25 19:46:58 2009 +0000
     1.2 +++ b/config/companion_libs/ppl.in	Tue Jan 12 19:24:03 2010 +0100
     1.3 @@ -3,17 +3,17 @@
     1.4  choice
     1.5      bool
     1.6      prompt "PPL version"
     1.7 +# Don't remove next line
     1.8 +# CT_INSERT_VERSION_BELOW
     1.9  
    1.10  config PPL_V_0_10_2
    1.11      bool
    1.12      prompt "0.10.2"
    1.13  
    1.14 -# CT_INSERT_VERSION_ABOVE
    1.15 -# Don't remove above line!
    1.16  endchoice
    1.17  
    1.18  config PPL_VERSION
    1.19      string
    1.20 +# Don't remove next line
    1.21 +# CT_INSERT_VERSION_STRING_BELOW
    1.22      default "0.10.2" if PPL_V_0_10_2
    1.23 -# CT_INSERT_VERSION_STRING_ABOVE
    1.24 -# Don't remove above line!