diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-08-23 08:17:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-23 08:17:27 +0200 |
commit | 9262ad45d6a44e321be5b0ae1eed53bb9fd3c91f (patch) | |
tree | 8eadbf42be330225d4c3ceab0cfc347b0185294f /editor/editor_dir_dialog.h | |
parent | 89bcfa4b364e1edc8e175f766b50d145864eb159 (diff) | |
parent | 0271a5f1d8677e38a9598b45e018c7cadb698ca2 (diff) |
Merge pull request #31548 from Calinou/project-manager-improve-missing
Improve the display of missing projects in the Project Manager
Diffstat (limited to 'editor/editor_dir_dialog.h')
0 files changed, 0 insertions, 0 deletions