RIOT-OS/RIOT — pull request #1035 by LudwigOrtmann (2014-04-19 10:39:32+00:00)
Title: native: add help option

Closes: #840