diff options
author | Karel Kočí <cynerd@email.cz> | 2019-05-11 15:08:04 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2019-05-11 15:08:04 +0200 |
commit | ff34eb8b8c7c9ef1f9604bc1878b9734583421c8 (patch) | |
tree | cd5389717244594060cdd178b2cc08900bc47f2b /profiles | |
parent | f314012ca5285d6939db04f52aa9b8ef93ba4e28 (diff) | |
download | gentoo-personal-overlay-ff34eb8b8c7c9ef1f9604bc1878b9734583421c8.tar.gz gentoo-personal-overlay-ff34eb8b8c7c9ef1f9604bc1878b9734583421c8.tar.bz2 gentoo-personal-overlay-ff34eb8b8c7c9ef1f9604bc1878b9734583421c8.zip |
sys-kernel/linux: version 5.1.1
Diffstat (limited to 'profiles')
0 files changed, 0 insertions, 0 deletions