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 /app-text/jabref-bin | |
| 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 'app-text/jabref-bin')
0 files changed, 0 insertions, 0 deletions