diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-12-07 00:30:31 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-07 00:30:31 +0100 |
commit | 06d0166bda9bb3c298cc1b6f5b075a22d82bb097 (patch) | |
tree | 2c354f85240e5f7e2b5120187885a4e71089b9cc /editor/output_strings.h | |
parent | e3155071bc9a7e5cd884d9435893813ff5871f62 (diff) | |
parent | 82f896b1ee8c632689baf4bda7e06a9e03c324f5 (diff) |
Merge pull request #13827 from sersoong/master-addopenselection
Enhanced 'open' menu in filesystemdock
Diffstat (limited to 'editor/output_strings.h')
0 files changed, 0 insertions, 0 deletions