diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-07-12 14:22:06 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-07-14 12:42:51 +0200 |
commit | b89dc6ae0051e04f710b66e94454720f321fb14e (patch) | |
tree | 2fce918e0dfa36bfc137c1ae4614de46fe4e5d2f /thirdparty/wslay | |
parent | 1bb66f04c8e08c1e2892c010d56c11b8d68069da (diff) |
Disable file logging for the project manager
Due to `user://` returning the current working directory when no
project is open, this caused logs to be written to `$HOME`
most of the time.
This closes #40305.
Diffstat (limited to 'thirdparty/wslay')
0 files changed, 0 insertions, 0 deletions