Fix linter contributing guidelines (#4806)

2018-10-04 11:47:49 -07:00
parent 6bf5643351
commit 5d31c04e94
1 changed files with 1 additions and 1 deletions
@@ -477,7 +477,7 @@ the short tests.

 ### Execute linter

-execute `make lint`
+execute `make check`

 ### Execute short tests