mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-08-12 06:25:24 +00:00
Merge pull request #1397 from alignan/fix-gitignore
Reverting change in .gitignore
This commit is contained in:
Reverting change in .gitignore