Add silenceStyleNameErrors
option#112
Merged
gajus merged 10 commits intogajus:masterfrom Aug 22, 2017
Commits
Commits on Jul 19, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed