diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-19 10:09:04 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-19 10:09:04 +0100 |
commit | 56ac1a67cdfdccc64757197464d9bc1f2704a2f0 (patch) | |
tree | 37381578de9acf7e471636459e66b3d565d8ace0 /.editorconfig | |
parent | 9de2da1a9687bef1d83f7d1a9e36430490cc0f33 (diff) | |
parent | 807b7ed557950ef9bd17266a35f7f83b1181e130 (diff) |
Merge pull request #71620 from adamscott/move-icon-to-top
Update `@icon` and `@tool` definitions to add a note
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions