diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/substitutes/berlin.guix.gnu.org.pub (renamed from etc/substitutes/berlin.guixsd.org.pub) | 0 | ||||
| l--------- | etc/substitutes/ci.guix.gnu.org.pub | 2 | ||||
| l--------- | etc/substitutes/ci.guix.info.pub | 2 |
3 files changed, 2 insertions, 2 deletions
diff --git a/etc/substitutes/berlin.guixsd.org.pub b/etc/substitutes/berlin.guix.gnu.org.pub index f156a37b08..f156a37b08 100644 --- a/etc/substitutes/berlin.guixsd.org.pub +++ b/etc/substitutes/berlin.guix.gnu.org.pub diff --git a/etc/substitutes/ci.guix.gnu.org.pub b/etc/substitutes/ci.guix.gnu.org.pub index b1d1e4d763..0574f6dfab 120000 --- a/etc/substitutes/ci.guix.gnu.org.pub +++ b/etc/substitutes/ci.guix.gnu.org.pub @@ -1 +1 @@ -berlin.guixsd.org.pub \ No newline at end of file +berlin.guix.gnu.org.pub \ No newline at end of file diff --git a/etc/substitutes/ci.guix.info.pub b/etc/substitutes/ci.guix.info.pub index b1d1e4d763..0574f6dfab 120000 --- a/etc/substitutes/ci.guix.info.pub +++ b/etc/substitutes/ci.guix.info.pub @@ -1 +1 @@ -berlin.guixsd.org.pub \ No newline at end of file +berlin.guix.gnu.org.pub \ No newline at end of file |