diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-12-18 11:59:39 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-18 16:04:25 +0100 |
commit | 65c8a043709e9e13f814211bba98c57eb00d9620 (patch) | |
tree | f1d51efeca45401f38afaa5b64e92fc2177acebc /gnu | |
parent | bd5a81f9b8eafc4721d64a53738e4da06eac2fa0 (diff) |
doc: Remove stale reference to 'hydra.gnu.org'.
Reported by Thomas Schmitt <scdbackup@gmx.net>.
* doc/guix.texi (Binary Installation): Refer to SUBSTITUTE-SERVER, not
to 'hydra.gnu.org'.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions