diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-10-31 23:59:55 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-10-31 23:59:55 +0100 |
| commit | 397ad8c651e102f14bb3b139e89932c9ec5e4674 (patch) | |
| tree | a83196d9d3651b97d45244c1171308146fd9f320 /profiles/devel/packages | |
| parent | 78053efa1771f57356499d1b3e42e46b16b22fa2 (diff) | |
| download | gentoo-personal-overlay-397ad8c651e102f14bb3b139e89932c9ec5e4674.tar.gz gentoo-personal-overlay-397ad8c651e102f14bb3b139e89932c9ec5e4674.tar.bz2 gentoo-personal-overlay-397ad8c651e102f14bb3b139e89932c9ec5e4674.zip | |
Update linux to 4.13.10
Diffstat (limited to 'profiles/devel/packages')
0 files changed, 0 insertions, 0 deletions