mirror of
https://github.com/godotengine/godot.git
synced 2024-12-03 09:52:18 +08:00
a415efa4b7
Facilitate using non-default filename extensions in HTML5 platform |
||
---|---|---|
.. | ||
default.html |