Dietmar Maurer 62ee2eb405 avoid some clippy warnings		2019-10-26 11:42:05 +02:00
..
config.rs	avoid some clippy warnings	2019-10-26 11:42:05 +02:00