diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-14 16:33:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-14 16:33:28 +0200 |
commit | e387278b3bfb9c24a244a86f71483c4e40d521f1 (patch) | |
tree | a9cb049e1f32a301a44e7eefddd29f4b4a341bba /editor/editor_spin_slider.h | |
parent | 46dcd4ebea481a0cdc9028f7409de9e9f967f71d (diff) | |
parent | b89dc6ae0051e04f710b66e94454720f321fb14e (diff) |
Merge pull request #40315 from Calinou/project-manager-disable-file-logging
Disable file logging for the project manager
Diffstat (limited to 'editor/editor_spin_slider.h')
0 files changed, 0 insertions, 0 deletions