diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-04-14 13:55:59 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-04-14 13:55:59 +0200 |
commit | dcd3ed9cc764d269259374286807a5483ad219b4 (patch) | |
tree | e1cda5e4e150b7cd78cb081fa1f7cbbce377f41f /gnu-system.am | |
parent | 30ce8012cd6265b12f756283633be94a547bf990 (diff) | |
download | patches-dcd3ed9cc764d269259374286807a5483ad219b4.tar patches-dcd3ed9cc764d269259374286807a5483ad219b4.tar.gz |
gnu: man-pages: Fix URL.
* gnu/packages/man.scm (man-pages): Use the 'kernel.org' mirror set.
Diffstat (limited to 'gnu-system.am')
0 files changed, 0 insertions, 0 deletions