mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-02-04 07:30:59 +00:00
80605d4045
DEV variable was already used in Makefile.include.