diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-28 18:38:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-28 18:38:32 +0200 |
| commit | 81ac52599d6578a5fe1e9f8021c0ad568784e139 (patch) | |
| tree | d9a12edf5c284ec9475bb355ca6f3cc50c7cf8f0 /modules/mono/mono_gd/gd_mono_internals.cpp | |
| parent | 3a365c1fc0b9fff27d767cbcf0e1801ec54b257c (diff) | |
| parent | be341e1931b8e49a14a89e8b38caca8e41c6b38b (diff) | |
Merge pull request #29239 from fire/plugin_editor_settings
Be able to add to the editor setting tabs.
Diffstat (limited to 'modules/mono/mono_gd/gd_mono_internals.cpp')
0 files changed, 0 insertions, 0 deletions