diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-08-07 20:29:15 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-08-07 20:29:15 +0200 |
| commit | acbb39b7a4c7ce544c1c5aa113a5716a9cea772a (patch) | |
| tree | 95e31ff7e53ed028bc029c759b56820907bc8d25 /profiles/devel/arduino | |
| parent | c1821e8388e10128ea88223dcd6aa27956cd8581 (diff) | |
| download | gentoo-personal-overlay-acbb39b7a4c7ce544c1c5aa113a5716a9cea772a.tar.gz gentoo-personal-overlay-acbb39b7a4c7ce544c1c5aa113a5716a9cea772a.tar.bz2 gentoo-personal-overlay-acbb39b7a4c7ce544c1c5aa113a5716a9cea772a.zip | |
sys-kernel/linux: version 4.17.13
Diffstat (limited to 'profiles/devel/arduino')
0 files changed, 0 insertions, 0 deletions