diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-07-20 12:05:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-20 12:05:49 +0200 |
| commit | 313c88ef39bb0935b4e9e2ed44ca5e1a1e66b431 (patch) | |
| tree | 1c4b8fa2586b646c103bcf288f8b0d1e5889a576 /editor/doc_tools.h | |
| parent | 1af58e046e00b62c0de41427fe4097f1e71141fb (diff) | |
| parent | 4501df37276c9c4d1591551771ce205f38037011 (diff) | |
Merge pull request #50631 from timothyqiu/add-item-type
Improve add item type UI in theme editor
Diffstat (limited to 'editor/doc_tools.h')
0 files changed, 0 insertions, 0 deletions