RIOT-OS/RIOT — pull request #1257 by Kijewski (2014-05-30 19:14:55+00:00)
Title: shell: fix newlines

This is a subset of #1038.
Fixes #1253.