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
..
config.yml	Merge PR #1732: tools: add make {get, update, check}_dev_tools	2018-07-18 10:20:24 +02:00