Hauke Petersen 1eec484a30 sys/shell: changed signature of put_char pointer
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.
2015-06-14 17:02:57 +02:00
..
2015-06-11 13:49:01 +02:00