RIOT-OS/RIOT — pull request #138 by OlegHahm (2013-08-14 15:53:38+00:00)
Title: removed duplicated paragraph

Just some minor fix of a broken commit.