mircea-c e8ed9302f7 CI configuration refactor (#4776) ... * added back the tools targets * removed ci target		2019-07-25 20:21:42 +02:00
..
config.yml	CI configuration refactor (#4776)	2019-07-25 20:21:42 +02:00