Philipp Hansch 6e3320c7ef Test clippy_dev on CI and fix test		2018-11-03 10:58:45 +01:00
..
base-tests.sh	Test clippy_dev on CI and fix test	2018-11-03 10:58:45 +01:00
integration-tests.sh	slightly simplify integration tests	2018-10-27 10:54:46 +02:00