1
0
mirror of https://github.com/godotengine/godot.git synced 2026-01-06 19:41:11 +00:00
Files
godot/tools/docdump/doc_merge.py
Rémi Verschelde c47810c33b SCons: Ensure written files are properly flushed/closed
Also add `core/method_bind_ext.inc` to `.gitignore`.

(cherry picked from commit ad2fb7d93b)
2025-01-06 07:58:05 +01:00

5.0 KiB