Philipp Hansch be995dc0e8 Run clippy on clippy_dev, too		2018-09-03 22:20:36 +02:00
..
base-tests.sh	Run clippy on clippy_dev, too	2018-09-03 22:20:36 +02:00
integration-tests.sh	integration tests: add more clippy warnings for greater coverage	2018-07-30 00:11:58 +02:00