diff options
author | Karel Kočí <cynerd@email.cz> | 2019-05-17 17:32:02 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2019-05-17 17:32:02 +0200 |
commit | 1753f2e6ec19bf8d678dd8510f627299cd407ee7 (patch) | |
tree | 5a0fceb7c47b29d0346d20a5883aff154d03967d /profiles/usb-boot/amd64/eapi | |
parent | 86f53a0846336459f99cfa2906e6215214dc6819 (diff) | |
download | gentoo-personal-overlay-1753f2e6ec19bf8d678dd8510f627299cd407ee7.tar.gz gentoo-personal-overlay-1753f2e6ec19bf8d678dd8510f627299cd407ee7.tar.bz2 gentoo-personal-overlay-1753f2e6ec19bf8d678dd8510f627299cd407ee7.zip |
sys-kernel/linux: update to version 5.1.3
Diffstat (limited to 'profiles/usb-boot/amd64/eapi')
0 files changed, 0 insertions, 0 deletions