Hugo Locurcio 8542d6ecd5 Tweak log file names for consistency between Mono and non-Mono logs ...

- Avoid spaces in Mono log file names.
- Use a `.log` extension for Mono logs, just like non-Mono logs.
- Use periods to separate hours/minutes/seconds for non-Mono logs.

(cherry picked from commit 4d81776fc9)

2020-12-09 11:22:05 +01:00

8.0 KiB

Raw Blame History

View Raw