Several fixes to configuration, dependencies, and support tools.
[monitor.git] / tools / automate /
drwxr-xr-x   ..
-rw-r--r-- 797 automate.py
-rwxr-xr-x 4524 fetch.py
-rwxr-xr-x 1840 query.py
-rwxr-xr-x 17352 vxargs.py