c2a4ce9380
- Use the `.log` file extension (recognized on Windows out of the box)
to better hint that generated files are logs. Some editors provide
dedicated syntax highlighting for those files.
- Use an underscore to separate the basename from the date and
the date from the time in log filenames. This makes the filename
easier to read.
- Keep only 5 log files by default to decrease disk usage in case
messages are spammed.
(cherry picked from commit
|
||
|---|---|---|
| .. | ||
| classes | ||
| tools | ||
| Doxyfile | ||
| Makefile | ||