mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-02-01 18:33:12 +00:00
7b9d98c5e2
see #227 for details. Will merge as it fixes build errors so Travis can be useful agian.