diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-13 15:12:25 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-13 15:12:25 +0100 |
| commit | d030c17d5ea1c6e40d8c45a7cffd072242dcb735 (patch) | |
| tree | 17ba3b4f3d9084e8368bb55223044951005bc00b /editor/editor_settings.h | |
| parent | 17c3c64a80b8701886d238d30e70962a8e13b2c6 (diff) | |
doc: Sync classref with current source
Diffstat (limited to 'editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions