diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-05-25 10:49:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-25 10:49:15 +0200 |
commit | a4b250d1aef8b84cf090ecd965628c9e616340c5 (patch) | |
tree | 8b11e3c2755c2396af1bfdc09fbcea5687c9c8ce /doc/classes/EditorInterface.xml | |
parent | cc8023cd1eed56f5efdf7964d42cb4a5cb8b3345 (diff) | |
parent | b3c2305160c0f114156802a7dc66cf09b45c1ee1 (diff) |
Merge pull request #29159 from YeldhamDev/doc_theme_skinning_link
Add "GUI skinning" tutorial link to the 'Theme' doc
Diffstat (limited to 'doc/classes/EditorInterface.xml')
0 files changed, 0 insertions, 0 deletions