mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
b5339c61ce
We don't need two names for the same command, ping is enough. |
||
---|---|---|
.. | ||
cmds | ||
democommands | ||
doc.txt | ||
Kconfig | ||
Kconfig.config | ||
Makefile | ||
Makefile.dep | ||
shell.c |