diff options
| author | Paweł Fertyk <pfertyk@pfertyk.me> | 2022-06-08 19:22:30 +0200 |
|---|---|---|
| committer | Paweł Fertyk <pfertyk@pfertyk.me> | 2022-06-09 18:42:32 +0200 |
| commit | 725eb629b350ab443a9bc3f2e713d75ec56170d6 (patch) | |
| tree | 8dce3023f3e5331ef8362dae1f253087a17c6c77 /editor/debugger | |
| parent | 532e253a7c0544bfb4866fb00129cfa1d39fcd62 (diff) | |
Allow plugin name in `is_plugin_enabled`
Fixes #61604.
Diffstat (limited to 'editor/debugger')
0 files changed, 0 insertions, 0 deletions