diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-07-05 13:01:45 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-07-05 13:01:45 +0200 |
| commit | f413ee17f4c533cb7156d7df69d8c3007f923df7 (patch) | |
| tree | bd2f144d1c88582438869eeb50b02cd792d4ff3f /media-sound/txppm | |
| parent | f5ce011b79df36ccab95ff00d1ec895237d2ea8b (diff) | |
| download | gentoo-personal-overlay-f413ee17f4c533cb7156d7df69d8c3007f923df7.tar.gz gentoo-personal-overlay-f413ee17f4c533cb7156d7df69d8c3007f923df7.tar.bz2 gentoo-personal-overlay-f413ee17f4c533cb7156d7df69d8c3007f923df7.zip | |
sys-kernel/linux: update to 4.17.4
Diffstat (limited to 'media-sound/txppm')
0 files changed, 0 insertions, 0 deletions