Laurenz Stampfl 6af94be34a Use chrono instead of time in the CLI (#1300)		2023-05-24 12:14:43 +02:00
..
args.rs	CLI option for emitting diagnostics in a unix-style short format (#1176)	2023-05-23 12:34:12 +02:00
main.rs	Use chrono instead of time in the CLI (#1300)	2023-05-24 12:14:43 +02:00
trace.rs	Tidy up CLI	2023-05-22 15:13:51 +02:00