RIOT-OS/RIOT — pull request #308 by OlegHahm (2013-11-06 19:40:11+00:00)
Title: Boards consolidation

This PR merges the https://github.com/RIOT-OS/boards repository into the main RIOT repository as decided on the developer meeting.