diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-11-05 22:02:42 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-11-05 22:02:42 +0100 |
| commit | 8fea8ba8524b036c4836d83dd1c58456aad4432d (patch) | |
| tree | 5f35957504df3020d64ba34ef542808d25931f73 /profiles/laptop/parent | |
| parent | 397ad8c651e102f14bb3b139e89932c9ec5e4674 (diff) | |
| download | gentoo-personal-overlay-8fea8ba8524b036c4836d83dd1c58456aad4432d.tar.gz gentoo-personal-overlay-8fea8ba8524b036c4836d83dd1c58456aad4432d.tar.bz2 gentoo-personal-overlay-8fea8ba8524b036c4836d83dd1c58456aad4432d.zip | |
Add openocd
Diffstat (limited to 'profiles/laptop/parent')
0 files changed, 0 insertions, 0 deletions