Merge branch 'master' of ssh://git.planet-lab.org/git/monitor
[monitor.git] / web / MonitorWeb / monitorweb / __init__.py