godot/misc
Hugo Locurcio 6e5e7b8cb7
Add `--log-file` command line argument to write output log to a file
This works even if file logging is disabled in the project settings,
or for the editor/project manager.

`--log-file`'s value can be an absolute path or relative to the project
directory (similar to existing arguments like `--write-movie`).
2024-01-19 20:30:04 +01:00
..
dist Add `--log-file` command line argument to write output log to a file 2024-01-19 20:30:04 +01:00
error_suppressions Suppress NavigationServer race conditions 2023-08-07 18:49:28 -04:00
extension_api_validation Rework GraphEdit connections (drawing, API, optimizations) 2024-01-18 16:53:15 +01:00
hooks Style: Mark clang-format 16 as supported for pre-commit hook 2023-12-06 13:26:53 +01:00
scripts SCons: Update mypy 2023-12-11 15:59:06 -06:00