diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-02-12 22:32:55 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-12 22:32:55 +0100 |
commit | 399b0cd52901d9e926da798a9ab14a2eb0fc8275 (patch) | |
tree | fe9b9ae41652cad9c6f8cfcf43b6324953509045 /editor/editor_name_dialog.h | |
parent | cc76f3c71d6d645ff454d142237985421439f722 (diff) | |
parent | 67eda1d4dd7373e8ea1a34901135d0b678581c09 (diff) |
Merge pull request #25830 from guilhermefelipecgs/fix_state_machine_priority
Fix state machine priority for auto advance
Diffstat (limited to 'editor/editor_name_dialog.h')
0 files changed, 0 insertions, 0 deletions