diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-05-01 18:35:15 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-05-01 18:35:15 +0200 |
| commit | f2dd8609eefb495fcc0114a10038395802dc1041 (patch) | |
| tree | 7a8257516ef60254033ece1be47385b1a44a8f8d /profiles/devel | |
| parent | 9880fd6042bb970bbbaa2e74ddfa633a96a15d06 (diff) | |
| download | gentoo-personal-overlay-f2dd8609eefb495fcc0114a10038395802dc1041.tar.gz gentoo-personal-overlay-f2dd8609eefb495fcc0114a10038395802dc1041.tar.bz2 gentoo-personal-overlay-f2dd8609eefb495fcc0114a10038395802dc1041.zip | |
Raspberry pi add userland libraries and boot image
Diffstat (limited to 'profiles/devel')
0 files changed, 0 insertions, 0 deletions