RIOT-OS/RIOT — pull request #1858 by OlegHahm (2014-10-22 18:01:19+00:00)
Title: make: doc: clean up dist Makefile

Remove some clutter from the example Makefile.