diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-07-17 15:32:52 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-07-17 15:32:52 +0200 |
| commit | 6023cc74290831c49c4f5a7d9fc055d4493ad055 (patch) | |
| tree | 6100e687dc8ed2e4acfa33c1ca73b13c6417972b /NEWS | |
| parent | 18555772079bb568173355a4f972e4add87a26b3 (diff) | |
| download | patches-6023cc74290831c49c4f5a7d9fc055d4493ad055.tar patches-6023cc74290831c49c4f5a7d9fc055d4493ad055.tar.gz | |
gnu: linux-libre: Add alternate URLs.
Fixes <http://bugs.gnu.org/14851>.
Reported by Andreas Enge <andreas@enge.fr>.
* gnu/packages/linux.scm (linux-libre-urls): New procedure.
(linux-libre-headers, linux-libre): Use it.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions