mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-02-27 07:29:21 +00:00
- save plugin information (experimental) - bug fix: windows not being deselected correctly - include contiki system symbols option (no need for the missing elf-loader files)