Aleksey Kladov a53c6f6fee Allow redirecting logs to a specific file ...

There's a surprising lack of crates which are like env_logger, but
also allow writing to a file. Let's write our own then!

2020-08-26 13:20:46 +02:00

..

dev

Merge #5852

2020-08-24 10:56:04 +00:00

user

Allow redirecting logs to a specific file

2020-08-26 13:20:46 +02:00