Use correct version of 0launch when selecting versions
tree97b95713ab5fa5e6ee51256e3c8faa05184ab30f
-rwxr-xr-x 2738 0compile
-rw-r--r-- 4370 0compile.1
-rw-r--r-- 1600 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 7833 autocompile.py
-rw-r--r-- 781 bugs.py
-rw-r--r-- 12192 build.py
-rw-r--r-- 394 clean.py
-rw-r--r-- 1596 copysrc.py
-rw-r--r-- 1311 gui.py
-rw-r--r-- 11532 gui_support.py
-rw-r--r-- 1262 include_deps.py
-rw-r--r-- 2021 publish.py
-rw-r--r-- 1975 setup.py
-rw-r--r-- 9901 support.py
drwxr-xr-x - tests