diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-04-22 01:50:21 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-04-22 01:50:21 +0200 |
| commit | b84a87664238d67b7e152138b5b079ca56dae46b (patch) | |
| tree | f35553924c457f5b891bb8e8960982a1fa9b4c01 /media-sound/txppm/txppm-180112-r1.ebuild | |
| parent | 6558aca584e7c8b0dd0096368f5706fd188b61cb (diff) | |
| download | gentoo-personal-overlay-b84a87664238d67b7e152138b5b079ca56dae46b.tar.gz gentoo-personal-overlay-b84a87664238d67b7e152138b5b079ca56dae46b.tar.bz2 gentoo-personal-overlay-b84a87664238d67b7e152138b5b079ca56dae46b.zip | |
sys-kernel/linux: update to 4.15.18
Diffstat (limited to 'media-sound/txppm/txppm-180112-r1.ebuild')
0 files changed, 0 insertions, 0 deletions