diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-07-19 20:17:03 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-07-19 20:17:03 +0200 |
| commit | 7bf03ff7417751467d8489f7288de36e37a979c2 (patch) | |
| tree | c01c09ba5fedbf95629406c24b0c16c0e3f0bab0 /media-sound/txppm | |
| parent | 9db902c6e23e73f9689f07f970ea71e2e092bcfa (diff) | |
| download | gentoo-personal-overlay-7bf03ff7417751467d8489f7288de36e37a979c2.tar.gz gentoo-personal-overlay-7bf03ff7417751467d8489f7288de36e37a979c2.tar.bz2 gentoo-personal-overlay-7bf03ff7417751467d8489f7288de36e37a979c2.zip | |
sys-kernel/linux: version 4.17.8
Diffstat (limited to 'media-sound/txppm')
0 files changed, 0 insertions, 0 deletions