Include details of the selected implementations in bug reports
tree0bceb04400fd6e31c821a9ca62c62f60ba900dfe
-rwxr-xr-x 2738 0compile
-rw-r--r-- 4230 0compile.1
-rw-r--r-- 1600 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 370 INSTALL
-rw-r--r-- 13396 autocompile.py
-rw-r--r-- 1091 bugs.py
-rw-r--r-- 18024 build.py
-rw-r--r-- 394 clean.py
-rw-r--r-- 1596 copysrc.py
-rw-r--r-- 1311 gui.py
-rw-r--r-- 11909 gui_support.py
-rw-r--r-- 1262 include_deps.py
-rw-r--r-- 2060 publish.py
-rw-r--r-- 1975 setup.py
-rw-r--r-- 10096 support.py
drwxr-xr-x - tests