diff options
| author | Carl Dong <contact@carldong.me> | 2019-05-28 15:57:41 +0000 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2019-05-29 15:44:54 +0200 |
| commit | 2ea77d48a739eb289f2472d2c30c37a30bbcb571 (patch) | |
| tree | 003810da699b9954aa1a99748de33e206fed00e6 /etc/substitutes | |
| parent | 7180dd671697e0215b140ebc0d36047b4b8375f2 (diff) | |
| download | patches-2ea77d48a739eb289f2472d2c30c37a30bbcb571.tar patches-2ea77d48a739eb289f2472d2c30c37a30bbcb571.tar.gz | |
gnu: cross-base: Allow non-default linux-headers.
* gnu/packages/cross-base.scm (cross-kernel-headers): Add
LINUX-HEADERS optional argument.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'etc/substitutes')
0 files changed, 0 insertions, 0 deletions