Dev Ojha 6cfef64382 Merge PR #1732: tools: add make {get, update, check}_dev_tools ...

This is so that validators can have a more minimal install, but we
can still install linters for developers. (And any other future dev
tools)

2018-07-18 10:20:24 +02:00

..

gometalinter.json

Continue reducing code complexity:

2018-07-09 15:29:16 -07:00

Makefile

Merge PR #1732: tools: add make {get, update, check}_dev_tools

2018-07-18 10:20:24 +02:00