mircea-c e8ed9302f7 CI configuration refactor (#4776) ... * added back the tools targets * removed ci target		2019-07-25 20:21:42 +02:00
..
devtools	CI configuration refactor (#4776)	2019-07-25 20:21:42 +02:00
migrate	Merge PR #4471: Migrate genesis cmd	2019-07-03 12:21:34 -04:00