diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-04 22:03:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-04 22:03:48 +0100 |
| commit | 2cf33bc5f13b9525d8c208c929763ce80aee918c (patch) | |
| tree | 6197f9573a78736f84186f10a24ef2042ee0ab7b /thirdparty | |
| parent | 60c78726a599c0154ba6473e48cf31792dedeb71 (diff) | |
| parent | a821de2275088ce6d4f91551459ce5bc36e21146 (diff) | |
Merge pull request #23479 from groud/fix_search_rmb_options
Hide some RMB options in the filesystem dock when files are searched
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions