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 /tests/gremlin.scm | |
parent | f5a15a86b0ff1c358bfca1e89eabc18d2d5e7818 (diff) | |
download | 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 'tests/gremlin.scm')
0 files changed, 0 insertions, 0 deletions