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 /etc/substitutes | |
| 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 'etc/substitutes')
0 files changed, 0 insertions, 0 deletions