diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-08-17 00:47:17 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-08-17 00:47:17 +0200 |
| commit | 1bd740d18d714f815486b04bf4c6154ef6c355d9 (patch) | |
| tree | c9917de4c6a3881b8240440efa5147dd381a5d01 /modules/gdscript/config.py | |
| parent | 8d65fd2b325bc17740672b7a64a9b5db05476b3e (diff) | |
| parent | 13b20820ba78bff60a8ec293c8c66159e0a949ec (diff) | |
| download | redot-engine-1bd740d18d714f815486b04bf4c6154ef6c355d9.tar.gz | |
Merge pull request #95656 from anvilfolk/gdscript-docs-quit
Fix Godot not quitting with `--doctool --gdscript-docs`.
Diffstat (limited to 'modules/gdscript/config.py')
0 files changed, 0 insertions, 0 deletions