diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-28 17:09:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-28 17:09:34 +0200 |
| commit | dd9602e74ce8d3f9c04f8c1973ec7d11b63e00af (patch) | |
| tree | 5339a36af5f8b6f549cb84ee199b42c6f4e20af1 /doc/translations/fil.po | |
| parent | f38ea254f334ffa02fb501b336b1a60374c7f945 (diff) | |
| parent | 2b063eebee489158354df7bcabd7a92105a638b6 (diff) | |
Merge pull request #64847 from Mickeon/editor-docs-hierarchy-icons
Add type icons to editor docs' hierarchy
Diffstat (limited to 'doc/translations/fil.po')
0 files changed, 0 insertions, 0 deletions