diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-30 14:05:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-30 14:05:08 +0200 |
| commit | ebe4f8d3a4a706c5eb1b7a8283883c63c131cad7 (patch) | |
| tree | a1207e5bae1f22f2acea5ba634bfd32143d3c916 /core/extension | |
| parent | 5e772885025225653b2a5766ec41fa344c2ebe3e (diff) | |
| parent | 97f8c9b97cf68705c5fe215314df7f9c0290b14b (diff) | |
Merge pull request #65039 from Mickeon/rename-treeitem-tooltip
Diffstat (limited to 'core/extension')
0 files changed, 0 insertions, 0 deletions