1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-19 11:33:51 +01:00
Martine Lenders 086d0ac83e
Merge pull request #13152 from miri64/shell_commands/enh/version
shell_commands: provide command to print version
2020-03-11 18:36:43 +01:00
..