diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-03 16:49:51 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-03 16:49:51 (GMT) |
commit | 9b9be141ee4b9a140c9cd4c9eae7c7b4385822ec (patch) | |
tree | 78156c49c6a7085d26587991222e8b19be972b79 /config/companion_libs/ppl.in | |
parent | 26edbc5b62418e0eea8bacb9f8c076c46ae51ed8 (diff) | |
parent | 89351cb89887e1e7de93afea665351cf70fe6f86 (diff) |
Merge.
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! |