diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-07-25T10·57+0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-07-25T10·57+0200 |
commit | 71a20d4d95ad40060857d5da6b813f437267fbb2 (patch) | |
tree | 2ac62cdff3ca7182bbc87c1980776a399d868bf3 /Makefile.config.in | |
parent | 1a44f1cb656557715d328818270b82c0c13d58a0 (diff) |
Change the default for use-ssh-substituter to ‘true’
Now you only have to pass ‘--option ssh-substituter-hosts nix-ssh@bla’ to enable SSH substitution.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions