diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-03 16:19:10 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-04 10:57:56 +0100 |
| commit | 6a837b6062ab405f6ca6d9c0163836769098d89b (patch) | |
| tree | a85ae51039d4f3fe45fab475520dfc3f6e30fb6d /gnu/services | |
| parent | 1f51f0d975d95a2ba645193cf43d0a294d952e83 (diff) | |
| download | guix-6a837b6062ab405f6ca6d9c0163836769098d89b.tar.gz | |
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 'gnu/services')
0 files changed, 0 insertions, 0 deletions