diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-22 07:50:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-22 07:50:23 +0200 |
| commit | 5974653307b56cfd8ed5a8b784f23e7f5822a6f4 (patch) | |
| tree | c513c5797469ad990ec7d287458fa0af043109c2 /tools/editor/editor_settings.h | |
| parent | 44c37e9b13c255ab0e002ef6c0ea794141da1a9f (diff) | |
| parent | 35ffa56e170f4f666d9f9105c3e5cfa40c310a31 (diff) | |
Merge pull request #5274 from Paulb23/editor_file_dialog_shortcuts
Added editor file dialog shortcuts
Diffstat (limited to 'tools/editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions