tree f4658ccba161c27360840ba74be7323d4f28b35f
parent a42f2bb731a22ebc1a824581b1ec798fb9ef8569
author Andy Bavier <acb@cs.princeton.edu> 1441827308 -0400
committer Andy Bavier <acb@cs.princeton.edu> 1441827308 -0400

Change default value of ssh_proxy