Laurenz ef1bf742f6 Don't emit color codes if stderr isn't a TTY ... Fixes #521		2023-05-22 15:28:30 +02:00
..
args.rs	Tidy up CLI	2023-05-22 15:13:51 +02:00
main.rs	Don't emit color codes if stderr isn't a TTY	2023-05-22 15:28:30 +02:00
trace.rs	Tidy up CLI	2023-05-22 15:13:51 +02:00