mirror of
https://github.com/godotengine/godot.git
synced 2024-11-27 09:16:35 +08:00
0924ae0167
While the anchors themselves were sufficiently unique, when converted to HTML all underscore characters are replaced. This created collisions between, say, Object._get and Object.get, where the latter would get a generic unique anchor identifier, e.g. id1. |
||
---|---|---|
.. | ||
doc_status.py | ||
make_rst.py |