mirror of
https://github.com/godotengine/godot
synced 2024-11-05 16:53:09 +00:00
a415efa4b7
Facilitate using non-default filename extensions in HTML5 platform |
||
---|---|---|
.. | ||
default.html |