mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-15 01:23:49 +01:00
When depending on one or more shell commands, the shell is pulled in as dependency anyway.
When depending on one or more shell commands, the shell is pulled in as dependency anyway.