Use .log suffix in options descriptions as it's the default
Description
Description
Details
Details
- Provenance
machniak Authored on Apr 19 2019, 8:27 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:c87ac075ae52: Renamed 'log_session' option to 'session_debug'
- Branches
- Unknown
- Tags