mirror of
https://github.com/oliverschmidt/contiki.git
synced 2024-07-28 07:28:57 +00:00
set specified external tools configs read only
+ automatic formatting
This commit is contained in:
parent
3bb9fda749
commit
b67baa7dfc