diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2018-07-18 10:58:57 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2018-07-18 10:58:57 +0200 |
| commit | e5056d3a24f2af50f9b952320c0aad4075bde9b8 (patch) | |
| tree | 61e8f92ab449a1c55cbee12031b8b17ff7351e08 /profiles/devel/arduino | |
| parent | 66d86a4ae55ce164b30cb3c8585d9029ed399f2f (diff) | |
| download | gentoo-personal-overlay-e5056d3a24f2af50f9b952320c0aad4075bde9b8.tar.gz gentoo-personal-overlay-e5056d3a24f2af50f9b952320c0aad4075bde9b8.tar.bz2 gentoo-personal-overlay-e5056d3a24f2af50f9b952320c0aad4075bde9b8.zip | |
Drop minitube from desktop profile
Diffstat (limited to 'profiles/devel/arduino')
0 files changed, 0 insertions, 0 deletions