diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-21 08:13:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-21 08:13:42 +0100 |
| commit | 3d2fecdeb31aaccddb9f9e1bf0efbca5c5ad93da (patch) | |
| tree | bd4c0157e585997afebded2a4c399e81397b59d4 /editor/icons | |
| parent | 5ff84070ca3604b43e86562a3d000ed924a604a2 (diff) | |
| parent | 09619b02c41e1c36f041ef8f8386e5565fdd052a (diff) | |
Merge pull request #13117 from Krakean/filesystem_dock_addshowinexplorer
Files list: Add "Show in Explorer" popup when nothing under mouse cursor
Diffstat (limited to 'editor/icons')
0 files changed, 0 insertions, 0 deletions