diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-01 09:19:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-01 09:19:15 +0100 |
| commit | 947f22a90b808db1d419a7cc4844c6ae11a29efb (patch) | |
| tree | 9b6f9cd09baf90028d4f3ebf317b44ab93da0927 /editor/project_manager.h | |
| parent | fb8cfc442d5bfb8f14e98006a734cdf551a0f2b1 (diff) | |
| parent | 89283b7b53d2e2b118cf5afe6d90f0813d37a204 (diff) | |
Merge pull request #46532 from kuruk-mm/improve_flush
Logger: Cache 'flush_stdout_on_print' to improve performance, and wor…
Diffstat (limited to 'editor/project_manager.h')
0 files changed, 0 insertions, 0 deletions