Hugo Locurcio 4d81776fc9 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.

2020-12-06 20:17:02 +01:00

7.6 KiB

Raw Blame History

View Raw