Code cleanup: use self.config instead of policy.config
tree9be9571429c7b0702861a09707f70d8d3ccf3645
-rwxr-xr-x 2765 0compile
-rw-r--r-- 4230 0compile.1
-rw-r--r-- 2166 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 370 INSTALL
-rw-r--r-- 15637 autocompile.py
-rw-r--r-- 1177 bugs.py
-rw-r--r-- 21395 build.py
-rw-r--r-- 401 clean.py
-rw-r--r-- 1643 copysrc.py
-rw-r--r-- 1315 gui.py
-rw-r--r-- 11838 gui_support.py
-rw-r--r-- 1348 include_deps.py
-rw-r--r-- 2297 publish.py
-rw-r--r-- 1964 setup.py
-rw-r--r-- 12659 support.py
drwxr-xr-x - tests