diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-08 09:42:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-08 09:42:54 +0100 |
| commit | a834055c63811aecf9a3a08d245ca2454a1ede8e (patch) | |
| tree | 7bb098134351f3517d338dff2141ad5ae37eb9c6 /.github | |
| parent | c0e6962aa0bc8871c331248a931133e54e3ff509 (diff) | |
| parent | 4d81776fc9364950bbe89d7da61fe3a7c965334f (diff) | |
Merge pull request #44148 from Calinou/tweak-log-file-names
Tweak log file names for consistency between Mono and non-Mono logs
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions