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 /doc/classes/Theme.xml | |
| 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 'doc/classes/Theme.xml')
0 files changed, 0 insertions, 0 deletions