diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-06-07 11:27:22 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-06-07 11:27:22 +0200 |
| commit | dcb7c8743244b4010db159d7d8d794278a792b17 (patch) | |
| tree | 746c6ab2fe8e7b4b40a7a8474c8a5ca46660f532 /tools/conf-examples | |
| parent | db18f01116739a2854c4305a7ad72da8c56d446d (diff) | |
| download | rumba-dcb7c8743244b4010db159d7d8d794278a792b17.tar.gz rumba-dcb7c8743244b4010db159d7d8d794278a792b17.zip | |
tools: Update access script to use proxy
The proxy command was not added to the file generated with ssh
info. This adds it, and changes the access script to use it if it is
there.
Diffstat (limited to 'tools/conf-examples')
0 files changed, 0 insertions, 0 deletions