Skip to content

Remove byname-implicit lint option#34

Merged
DavidGregory084 merged 3 commits intotypelevel:masterfrom ChristopherDavenport:addRemoveByNameImplicitDec 3, 2020

Commits

Commits on Dec 2, 2020

Commits on Dec 3, 2020