summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-12-03 16:19:10 +0100
committerLudovic Courtès <ludo@gnu.org>2018-12-04 10:57:56 +0100
commit6a837b6062ab405f6ca6d9c0163836769098d89b (patch)
treea85ae51039d4f3fe45fab475520dfc3f6e30fb6d /etc
parent1f51f0d975d95a2ba645193cf43d0a294d952e83 (diff)
etc: Add "ci.guix.info.pub" public key file.
* etc/substitutes/ci.guix.info.pub: New file. * Makefile.am (dist_pkgdata_DATA): Add it. * guix/self.scm (miscellaneous-files): Add "share/guix/ci.guix.info.pub".
Diffstat (limited to 'etc')
l---------etc/substitutes/ci.guix.info.pub1
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/substitutes/ci.guix.info.pub b/etc/substitutes/ci.guix.info.pub
new file mode 120000
index 0000000000..b1d1e4d763
--- /dev/null
+++ b/etc/substitutes/ci.guix.info.pub
@@ -0,0 +1 @@
+berlin.guixsd.org.pub \ No newline at end of file