mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-01-13 01:30:10 +00:00
2978147e22
may for example be called from a platform makefile