| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Thu Aug 26 23:36:54 2010 +0200 (2010-08-26) | |
| branch | 1.8 |
| changeset 2103 | d11481a07a8c |
| parent 1386 | 7995942261f2 |
| child 2072 | 72b3996ba3e6 |
| permissions | -rw-r--r-- |
1 # PPL options
3 choice
4 bool
5 prompt "PPL version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
9 config PPL_V_0_10_2
10 bool
11 prompt "0.10.2"
13 endchoice
15 config PPL_VERSION
16 string
17 # Don't remove next line
18 # CT_INSERT_VERSION_STRING_BELOW
19 default "0.10.2" if PPL_V_0_10_2