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

Change default value of ssh_proxy