diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-28 16:19:15 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-29 06:28:50 +0200 |
| commit | 44b5f28a77d94609cc43d713c46f6c1bdc4e380b (patch) | |
| tree | 73aaaca5fba0acc34952c064eb1efa147bfd3127 /etc | |
| parent | 414c4de15de50c9bbc1d7159418f52fdcc6dab13 (diff) | |
| download | patches-44b5f28a77d94609cc43d713c46f6c1bdc4e380b.tar patches-44b5f28a77d94609cc43d713c46f6c1bdc4e380b.tar.gz | |
doc: Remove references to hydra.gnu.org.
* doc/contributing.texi (Packaging Guidelines, Submitting Patches):
Replace hydra URL with @value{SUBSTITUTE-SERVER}.
* doc/guix.texi (Official Substitute Server): Remove ‘hydra’ @cindex.
(Substitute Server Authorization): Remove note about hydra.gnu.org.pub.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions