[skip changelog] Introduce linting and formatting for docs and config files#836
Merged
silvanocerza merged 11 commits intoarduino:masterfrom Jul 21, 2020
silvanocerza:docs-config-formatting
Commits
Commits on Jul 21, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed