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 /dev-util | |
| 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 'dev-util')
0 files changed, 0 insertions, 0 deletions