diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-03-05 09:46:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-05 09:46:41 +0100 |
| commit | 85ffc5ec97e1c73684e2f93c84622c7a99d49969 (patch) | |
| tree | 88cb8e4b5623483671a151d075c8588797622e79 /editor/quick_open.h | |
| parent | 6d269dbf5667bcee0597c42d1099d2e54c5663b9 (diff) | |
| parent | 68d73ecf60b35c06ee645fe0fed2b4dc426e0f81 (diff) | |
Merge pull request #36746 from aaronfranke/plugin-icon-docs
Document EditorPlugin get_plugin_icon and get_plugin_name
Diffstat (limited to 'editor/quick_open.h')
0 files changed, 0 insertions, 0 deletions