diff options
author | Karel Kočí <karel.koci@nic.cz> | 2017-06-27 09:17:32 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2017-06-27 09:17:32 +0200 |
commit | 5637ad796aed84edff94d112698ac68d979487b4 (patch) | |
tree | ad895ee5a3bb9434fa2c8219b74cb9b9aed9cbea /profiles/devel | |
parent | c2342cc83945e6d2a592c6007f9062fefe62b157 (diff) | |
download | gentoo-personal-overlay-5637ad796aed84edff94d112698ac68d979487b4.tar.gz gentoo-personal-overlay-5637ad796aed84edff94d112698ac68d979487b4.tar.bz2 gentoo-personal-overlay-5637ad796aed84edff94d112698ac68d979487b4.zip |
Linux 4.11.7
Diffstat (limited to 'profiles/devel')
0 files changed, 0 insertions, 0 deletions