tree dc40e35f852bdccb2a80ddb2a7198ff4427e364e
parent 9e9fd23ec8565162b2022d01e2d5fd1972a33ac9
author Andy Bavier <acb@cs.princeton.edu> 1452185545 -0500
committer Andy Bavier <acb@cs.princeton.edu> 1452185545 -0500

Disable proxy_ssh for all observers, it's only useful with opencloud