tree c5795c5250b2addafcd9b3d50f6820163faf262d
parent c29146dec9df8d07f10982e871735a4e1b7fff0d
author Andy Bavier <acb@cs.princeton.edu> 1433962369 -0400
committer Andy Bavier <acb@cs.princeton.edu> 1433962369 -0400

Use ssh pipelining