nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

doc: Update substitute server. 

Fixes an accidental revert in commit
0a5fa004f7.

* doc/guix.texi (SUBSTITUTE-SERVER): Really change to ci.guix.info.
This commit is contained in:
Ludovic Courtès 2018-12-04 15:26:40 +01:00
parent f5a15a86b0
commit 606b1a1e6b
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/guix.texi
View File

@ -14,7 +14,7 @@
@set KEY-SERVER pool.sks-keyservers.net @set KEY-SERVER pool.sks-keyservers.net
@c The official substitute server used by default. @c The official substitute server used by default.
@set SUBSTITUTE-SERVER mirror.hydra.gnu.org @set SUBSTITUTE-SERVER ci.guix.info
@copying @copying
Copyright @copyright{} 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès@* Copyright @copyright{} 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès@*