Leandro Lanzieri 5ba7ef6d6f

dist/tools/kconfiglib: Add remove command to delete files ...

The 'remove' target removes the downloaded files from the tool.

2020-06-04 15:31:40 +02:00

..

.gitignore

dist/tools: Add kconfiglib

2019-11-19 17:46:38 +01:00

Makefile

dist/tools/kconfiglib: Add remove command to delete files

2020-06-04 15:31:40 +02:00

riot_kconfig.py

dist/tools/kconfiglib: Add riot_kconfig to override default behaviours

2020-04-27 12:29:40 +02:00

riot_menuconfig.py

dist/tools/kconfiglib: Add riot_kconfig to override default behaviours

2020-04-27 12:29:40 +02:00