Augmented lint configuration#257

Open

ff2005 wants to merge 2 commits intoespruino:masterfrom

ff2005:feature/augment-linting

Commits on Oct 10, 2021

Augmented lint configuration
Filipe Fradique
committed

Commits on Oct 11, 2021

Merge branch 'master' into feature/augment-linting
ff2005
authored