mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-21 04:23:50 +01:00
changed from void(*put_char)(int) to int(*putchar)(int). This is beneficial, as now the std-libs putchar can be given as an argument to shell_init() directly.