diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-09-30 08:49:18 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-10-05 20:55:14 +0200 |
commit | 9320c3a55f25109dd66c3fb63f431c5b65c9d208 (patch) | |
tree | 75bcc2176e489f997cc92286ad341aae3744210c /media-sound/chordii | |
parent | sys-kernel/genkernel: Inline mirror://kernel (diff) | |
download | gentoo-9320c3a55f25109dd66c3fb63f431c5b65c9d208.tar.gz gentoo-9320c3a55f25109dd66c3fb63f431c5b65c9d208.tar.bz2 gentoo-9320c3a55f25109dd66c3fb63f431c5b65c9d208.zip |
sys-kernel/linux-docs: Inline mirror://kernel
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'media-sound/chordii')
0 files changed, 0 insertions, 0 deletions