RIOT-OS/thirdparty_boards — pull request #30 by OlegHahm (2014-06-23 13:05:25+00:00)
Title: make: adapted to changes in RIOT/467b41a

Otherwise these boards don't build anymore.