Delyan Angelov 19bfd5ffb5 ci: fix building		2020-12-19 13:16:18 +02:00
..
help	v,gen,checker: implement `-d time_checking -d time_cgening -d time_v`	2020-12-19 12:36:08 +02:00
v.v	ci: fix building	2020-12-19 13:16:18 +02:00