diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-13 16:38:06 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-13 16:38:06 (GMT) |
commit | 0c6375595702e370b3e5784eabdc87f0f5282fed (patch) | |
tree | 17070ee50f852e9e9a4d9457ec545e441126ac29 /config/companion_libs/ppl.in | |
parent | caeb4ada2387a8750acba9c514f0f356e142e777 (diff) |
scripts: add new version at top of choice
Add new versions at the top of the choice menu, not at the bottom.
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! |