mirror of
https://github.com/godotengine/godot.git
synced 2025-03-13 23:41:08 +08:00
Otherwise generating docs with non-Mono builds removes them, which is not so convenient for the documentation work.
Otherwise generating docs with non-Mono builds removes them, which is not so convenient for the documentation work.