| author | Niels Penneman <niels@penneman.org> |
| Fri Jan 03 10:57:48 2014 +0100 (2014-01-03) | |
| changeset 3269 | 6bf3336283c2 |
| child 3288 | 41d8cd8250c9 |
| permissions | -rw-r--r-- |
1 # ISL options
3 choice
4 bool
5 prompt "ISL version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
9 config ISL_V_0_11_1
10 bool
11 prompt "0.11.1"
13 endchoice
15 config ISL_VERSION
16 string
17 # Don't remove next line
18 # CT_INSERT_VERSION_STRING_BELOW
19 default "0.11.1" if ISL_V_0_11_1