diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-12-21 19:12:35 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-12-21 19:12:35 +0100 |
| commit | ade21fb188098cb808637302c0741cfe91669d30 (patch) | |
| tree | c7210d047e6889818bae6af351ed3f657e667b9e /dev-lua | |
| parent | 657928e510851581da7556031f5754728a7a11b2 (diff) | |
| download | gentoo-personal-overlay-ade21fb188098cb808637302c0741cfe91669d30.tar.gz gentoo-personal-overlay-ade21fb188098cb808637302c0741cfe91669d30.tar.bz2 gentoo-personal-overlay-ade21fb188098cb808637302c0741cfe91669d30.zip | |
sys-kernel/linux: update to 4.19.12
Diffstat (limited to 'dev-lua')
0 files changed, 0 insertions, 0 deletions