diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-11-05 23:24:38 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-06 00:04:11 +0100 |
commit | aa919fbc890c5438166083f9ff02e4b1968a182b (patch) | |
tree | a34efdec55c8b960e56419d720a366d7bf38d633 /.dir-locals.el | |
parent | cbe7387c0423294265faca7d3c648ee88a7baad5 (diff) | |
download | patches-aa919fbc890c5438166083f9ff02e4b1968a182b.tar patches-aa919fbc890c5438166083f9ff02e4b1968a182b.tar.gz |
maint: Move substitute public keys to etc/substitutes.
* berlin.guixsd.org.pub, hydra.gnu.org.pub: Move to...
* etc/substitutes: ... here. New directory.
* Makefile.am (dist_pkgdata_DATA): Adjust accordingly.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions