Matthias Beyer 74810d9ccc Fix: Print processed IDs if output is not a pipe. ... Signed-off-by: Matthias Beyer <mail@beyermatthias.de>		2019-08-31 13:44:19 +02:00
..
core	Fix: Print processed IDs if output is not a pipe.	2019-08-31 13:44:19 +02:00
domain	Allow some Clippy lints	2019-08-28 18:18:41 +02:00