diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-02 07:50:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-02 07:50:20 +0200 |
| commit | 536b5b69aba7b0e1495a595d4ce887a84fb8e475 (patch) | |
| tree | 091e2e1f906879c8a9d91c714c61ab3731adf37d /modules/regex | |
| parent | 8cce479c01f73b7f0b65e65a431bc4d0312db00e (diff) | |
| parent | 86798d36db48674d3d40986038acc397b5f88479 (diff) | |
Merge pull request #63789 from YuriSizov/editor-remove-old-property-widgets
Remove `CustomPropertyEditor` completely
Diffstat (limited to 'modules/regex')
0 files changed, 0 insertions, 0 deletions