diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-03-20 15:30:55 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-03-20 15:30:55 +0100 |
commit | 21ebf6a16028291914bd14b0e5463b020dc7affa (patch) | |
tree | 16314463925fea37d390ac4effdf7cbf7a4befa7 /src/nix/repl.cc | |
parent | 1aca195e52d4fbf76908e6588b55ed8b5b25cfc8 (diff) |
SSHMaster: Optionally pass -v to ssh
Diffstat (limited to 'src/nix/repl.cc')
0 files changed, 0 insertions, 0 deletions