diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-02-09 15:51:21 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-02-09 15:51:21 +0100 |
| commit | addc4aeed0a4266be6a9aaa5cf78f80fe4d7e4a8 (patch) | |
| tree | d77b9b8e8ea030305b8a6c74849850a710e179f4 /media-sound/txppm/txppm-180112-r1.ebuild | |
| parent | 3fa07d13c512cfcc709b58ecce8ef3cd194f2c26 (diff) | |
| download | gentoo-personal-overlay-addc4aeed0a4266be6a9aaa5cf78f80fe4d7e4a8.tar.gz gentoo-personal-overlay-addc4aeed0a4266be6a9aaa5cf78f80fe4d7e4a8.tar.bz2 gentoo-personal-overlay-addc4aeed0a4266be6a9aaa5cf78f80fe4d7e4a8.zip | |
sys-kernel/linux: update to 4.20.7
Diffstat (limited to 'media-sound/txppm/txppm-180112-r1.ebuild')
0 files changed, 0 insertions, 0 deletions