diff options
| author | Micky <micheledevita2@gmail.com> | 2022-10-12 10:27:44 +0200 |
|---|---|---|
| committer | Micky <micheledevita2@gmail.com> | 2022-10-12 10:27:44 +0200 |
| commit | dc51ff8c5b848f0dbd5624fa795b3d98004ac7d6 (patch) | |
| tree | d8578fa303a93dc6b451b30f0adfdf30302f41d7 /editor/doc_tools.h | |
| parent | 143dbb354411e5f669e0f751f1254d03f531d576 (diff) | |
Rename `set`/`get_indexed`'s "property" to "property_path"
Also touches up the Documentation slightly.
Diffstat (limited to 'editor/doc_tools.h')
0 files changed, 0 insertions, 0 deletions