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 /editor/plugins/debugger_editor_plugin.h | |
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 'editor/plugins/debugger_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions