diff options
| author | Maxime Devos <maximedevos@telenet.be> | 2022-09-01 11:01:53 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-09-26 23:29:36 +0200 |
| commit | 60474b5291360830983aa2c2514cb9da44259d1d (patch) | |
| tree | d8d3d10277a835f248fc9d6e3c0e4b8c40d85b8c /.gitignore | |
| parent | e96f380fd42963fb08ccbd67e752470d4f42f223 (diff) | |
download: Add a kernel.org mirror.
Add the mirror from (guix gnu-maintenance) to make the simplified
linux.org updater (of a later commit) work.
* download.scm (%mirrors)[kernel.org]: Add mirrors.edge.kernel.org mirror.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions