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