diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-11 14:01:48 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-11 14:01:48 +0100 |
commit | 62525b74295e98b95ef41e64bec892930b5eda47 (patch) | |
tree | 1ea0352d25df195dd6c86114a4920162c162a206 /editor/icons/GuiDropdown.svg | |
parent | 9c02bf1b116810b2a95009a8f5b9fcc379e7fa78 (diff) | |
parent | 4245417ab2ea115e04151383b006982501a7c716 (diff) |
Merge pull request #71075 from Repiteo/open_in_file_manager_shortcut
Setup "Open in File Manager" as shortcut
Diffstat (limited to 'editor/icons/GuiDropdown.svg')
0 files changed, 0 insertions, 0 deletions