diff options
author | Marty E. Plummer <hanetzer@startmail.com> | 2018-07-17 13:06:00 -0500 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2018-07-17 23:20:38 +0200 |
commit | a2c0712d0f17243bab0523fe7df78ce4ea145ef5 (patch) | |
tree | 0a0fc809f019ce10dc93bc42eaab73c6119ef145 /sys-kernel/ck-sources/Manifest | |
parent | media-video/super_demux: Use append-cflags (diff) | |
download | gentoo-a2c0712d0f17243bab0523fe7df78ce4ea145ef5.tar.gz gentoo-a2c0712d0f17243bab0523fe7df78ce4ea145ef5.tar.bz2 gentoo-a2c0712d0f17243bab0523fe7df78ce4ea145ef5.zip |
linux-info.eclass: fix for prematurely merged patch
https://github.com/gentoo/gentoo/pull/9222 was merged prematurely, and
included the first iteration of my linux-info EAPI 7 patch, and requires
this patch on top to avoid a double slash.
Diffstat (limited to 'sys-kernel/ck-sources/Manifest')
0 files changed, 0 insertions, 0 deletions