hope I got the merge wright...
[monitor.git] / tools / automate /
drwxr-xr-x   ..
-rw-r--r-- 797 automate.py
-rwxr-xr-x 2330 fetch.py
-rwxr-xr-x 1840 query.py
-rwxr-xr-x 17352 vxargs.py