diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-03-03T18·23+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-03-03T18·23+0100 |
| commit | d3eb1cf3bbf57a33ac2e71a19a150c077011ecd9 (patch) | |
| tree | 82cc4504c8de781beaa7ebbb23081152692b54d8 /doc/manual/installation/obtaining-source.xml | |
| parent | d140c75530d385431850bed2f2c250f889c43c2f (diff) | |
build-remote: Don't use a SSH master
This is unnecessary because we make only one connection.
Diffstat (limited to 'doc/manual/installation/obtaining-source.xml')
0 files changed, 0 insertions, 0 deletions