diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-13 15:51:33 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-09-13 15:51:33 (GMT) |
commit | caeb4ada2387a8750acba9c514f0f356e142e777 (patch) | |
tree | 78d4c894ed932449d8ef0e93a24478b40c881166 /config/companion_libs/cloog.in | |
parent | 2418f95c9e73994e9094c62fa1d4e227192fef77 (diff) |
config: re-order menu entries so that latest versions are at the top
It makes better sense to have latest versions at the top of the choice
entries.
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r-- | config/companion_libs/cloog.in | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 2b6185d..7ae6f87 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -4,25 +4,25 @@ choice bool prompt "CLooG/ppl version" -config CLOOG_V_0_15_3 +config CLOOG_V_0_15_7 bool - prompt "0.15.3" + prompt "0.15.7" -config CLOOG_V_0_15_4 +config CLOOG_V_0_15_6 bool - prompt "0.15.4" + prompt "0.15.6" config CLOOG_V_0_15_5 bool prompt "0.15.5" -config CLOOG_V_0_15_6 +config CLOOG_V_0_15_4 bool - prompt "0.15.6" + prompt "0.15.4" -config CLOOG_V_0_15_7 +config CLOOG_V_0_15_3 bool - prompt "0.15.7" + prompt "0.15.3" # CT_INSERT_VERSION_ABOVE # Don't remove above line! @@ -30,10 +30,10 @@ endchoice config CLOOG_VERSION string - default "0.15.3" if CLOOG_V_0_15_3 - default "0.15.4" if CLOOG_V_0_15_4 - default "0.15.5" if CLOOG_V_0_15_5 - default "0.15.6" if CLOOG_V_0_15_6 default "0.15.7" if CLOOG_V_0_15_7 + default "0.15.6" if CLOOG_V_0_15_6 + default "0.15.5" if CLOOG_V_0_15_5 + default "0.15.4" if CLOOG_V_0_15_4 + default "0.15.3" if CLOOG_V_0_15_3 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! |