diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-01-28 09:17:06 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-01-28 09:17:06 +0100 |
| commit | aa420adc9bea2f430793cf14eab0c539769c8c82 (patch) | |
| tree | 879918e5c24448a3514ceda690483d24721e4feb /profiles/base/make.defaults | |
| parent | 2199dcffb320c195b79eaa7b5e255993a1755ee5 (diff) | |
| download | gentoo-personal-overlay-aa420adc9bea2f430793cf14eab0c539769c8c82.tar.gz gentoo-personal-overlay-aa420adc9bea2f430793cf14eab0c539769c8c82.tar.bz2 gentoo-personal-overlay-aa420adc9bea2f430793cf14eab0c539769c8c82.zip | |
profiles/devel/arm: use captone in openocd
Diffstat (limited to 'profiles/base/make.defaults')
0 files changed, 0 insertions, 0 deletions