diff -r 7995942261f2 -r ef453652ccc7 config/companion_libs/ppl.in
--- a/config/companion_libs/ppl.in	Mon May 25 19:46:58 2009 +0000
+++ b/config/companion_libs/ppl.in	Thu Jan 14 18:44:13 2010 +0100
@@ -3,17 +3,17 @@
 choice
     bool
     prompt "PPL version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
 
 config PPL_V_0_10_2
     bool
     prompt "0.10.2"
 
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
 endchoice
 
 config PPL_VERSION
     string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
     default "0.10.2" if PPL_V_0_10_2
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!