Merge branch 'master' of ssh://soltesz@git.planet-lab.org/git/monitor
[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