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