add 'log_file_ext' configuration option
Description
Description
Details
Details
- Provenance
Remi Collet Authored on Jun 27 2017, 11:35 AM mollekopf Pushed on Sep 6 2023, 2:57 PM - Parents
- R113:132a807dff7f: add .log suffix to all log file names
- Branches
- Unknown
- Tags