diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-16 09:59:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-16 09:59:07 +0200 |
| commit | ac9cfd0c2d075ce37d3e8b542b63e824b2e1f4fc (patch) | |
| tree | 2d1ad5cf3d4768b0292a8ad27c011a822f5ed092 /editor/plugins | |
| parent | 9ddf13e7addd26de56e16af64946751de291112d (diff) | |
| parent | 725eb629b350ab443a9bc3f2e713d75ec56170d6 (diff) | |
Merge pull request #61820 from pfertyk/issue-61604-is-plugin-enabled-by-name
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions