summaryrefslogtreecommitdiff
path: root/config/companion_libs/ppl.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-09-13 16:38:06 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-09-13 16:38:06 (GMT)
commit0c6375595702e370b3e5784eabdc87f0f5282fed (patch)
tree17070ee50f852e9e9a4d9457ec545e441126ac29 /config/companion_libs/ppl.in
parentcaeb4ada2387a8750acba9c514f0f356e142e777 (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.in8
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!