Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #14463 from leandrolanzieri/pr/kconfiglib/riot_men…
…uconfig_python3 dist/tools/kconfiglib: Use python3 for RIOT adaption of menuconfig
- Loading branch information