Updated autocompile command to use new 0launch 0.52 API
tree17fd656254c943f07b9dedc8620a6d0946c92e51
-rwxr-xr-x 2891 0compile
-rw-r--r-- 4230 0compile.1
-rw-r--r-- 1860 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 370 INSTALL
-rw-r--r-- 14408 autocompile.py
-rw-r--r-- 1093 bugs.py
-rw-r--r-- 19372 build.py
-rw-r--r-- 401 clean.py
-rw-r--r-- 1643 copysrc.py
-rw-r--r-- 1315 gui.py
-rw-r--r-- 11932 gui_support.py
-rw-r--r-- 1344 include_deps.py
-rw-r--r-- 2097 publish.py
-rw-r--r-- 1739 setup.py
-rw-r--r-- 10753 support.py
drwxr-xr-x - tests