diff options
| author | Thaddeus Crews <repiteo@outlook.com> | 2023-11-21 15:33:14 -0600 |
|---|---|---|
| committer | Thaddeus Crews <repiteo@outlook.com> | 2023-12-11 15:59:06 -0600 |
| commit | 8cd984b3cb1c684f3ffa43dc2ddef27b74dd32ed (patch) | |
| tree | fcd7b6988225b60f18d4a6b7f6151bb10c935cf0 /gles3_builders.py | |
| parent | 6882e5042d1ebada62f07130a44a85b032944c31 (diff) | |
| download | redot-engine-8cd984b3cb1c684f3ffa43dc2ddef27b74dd32ed.tar.gz | |
SCons: Update mypy
Diffstat (limited to 'gles3_builders.py')
| -rw-r--r-- | gles3_builders.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gles3_builders.py b/gles3_builders.py index 10d7e5bb4c..055451f298 100644 --- a/gles3_builders.py +++ b/gles3_builders.py @@ -199,7 +199,7 @@ def build_gles3_header( filename: str, include: str, class_suffix: str, - optional_output_filename: str = None, + optional_output_filename: Optional[str] = None, header_data: Optional[GLES3HeaderStruct] = None, ): header_data = header_data or GLES3HeaderStruct() |