diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-04 15:26:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-04 15:28:07 +0100 |
| commit | 606b1a1e6b45cd019159716802d5a6bc1ec10e35 (patch) | |
| tree | cd5a9fe645ce8c8eb9976a6ea0f3276600fa5b6f /gnu | |
| parent | f5a15a86b0ff1c358bfca1e89eabc18d2d5e7818 (diff) | |
| download | guix-606b1a1e6b45cd019159716802d5a6bc1ec10e35.tar guix-606b1a1e6b45cd019159716802d5a6bc1ec10e35.tar.gz | |
doc: Update substitute server.
Fixes an accidental revert in commit
0a5fa004f7f21dc3e01747b8e94fbb21e056e4ca.
* doc/guix.texi (SUBSTITUTE-SERVER): Really change to ci.guix.info.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions