diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-01-25 16:14:45 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-01-25 16:14:45 +0000 |
| commit | 50e34891f0e11f400bd50390ede3b7700a2b4db9 (patch) | |
| tree | 82b974d5c462a57dfd65a57e078cc98fd495b1a6 /doc/manual/manual.xml | |
| parent | 5388944e8d1ca61e23d42a6a0769b925f099f4e1 (diff) | |
* Disable gzip compression in build-remote.pl because it puts too much
load on the Hydra build farm (where it's unnecessary anyway because
it has a fast connection to the build machines). In any case,
compression can be enabled by using the `-C' option to ssh.
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions