diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-18 14:30:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-18 14:30:18 +0100 |
commit | 7b4e45b794d33ad5277d6d5f99efc7b8cc1fd2dc (patch) | |
tree | 8386f7514aad7389d5bd85667e4002a11b724da5 /editor/editor_settings.h | |
parent | 3c5762303f599abaa94aef72d5b0786b4ad1dfff (diff) | |
parent | 61d1604da228e898d133b4f312afa69957c8e9d5 (diff) |
Merge pull request #15803 from Noshyaar/pm
ProjectManager: show error/warning by default
Diffstat (limited to 'editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions