diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-12-05 16:19:34 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-05 16:26:55 +0100 |
commit | 4a0b87f0ec5b6c2dcf82b372dd20ca7ea6acdd9c (patch) | |
tree | 803356d668c8b37d5773d321e32a5d115c979efc /gnu | |
parent | 970ebdae8cef6488c196ed899a774cda54da3588 (diff) | |
download | patches-4a0b87f0ec5b6c2dcf82b372dd20ca7ea6acdd9c.tar patches-4a0b87f0ec5b6c2dcf82b372dd20ca7ea6acdd9c.tar.gz |
guix-install.sh: Use the "ci.guix.info.pub" file name for clarity.
* etc/guix-install.sh (sys_authorize_build_farms): Use the
"ci.guix.info.pub" file name rather "berlin.guixsd.org.pub".
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions