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