Linters

Definition of Linters