diff options
Diffstat (limited to 'config/companion_libs/ppl.in')
| -rw-r--r-- | config/companion_libs/ppl.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in index efdeabf..8f32570 100644 --- a/config/companion_libs/ppl.in +++ b/config/companion_libs/ppl.in @@ -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! |