Maurits van der Schee dcb232d527 fix tests		2018-08-07 22:31:14 +02:00
..
debian9	fix tests	2018-08-07 22:31:14 +02:00
ubuntu16	fix tests	2018-08-07 22:31:14 +02:00
ubuntu18	fix tests	2018-08-07 22:31:14 +02:00
build_all.sh	Add batch build and run	2017-08-09 08:04:57 +02:00
run_all.sh	Add v2	2018-08-06 07:49:08 +02:00