diff options
| author | volzhs <volzhs@gmail.com> | 2018-07-20 10:45:56 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-20 10:45:56 +0900 |
| commit | b2d7641a0dd65a782f981fb1f73c5e84a90f816c (patch) | |
| tree | ad8954154138c191f1c1796aa8e48d0b39b32bd0 /core/undo_redo.h | |
| parent | c69de2ba46463adeadf90f38660d6b6e034d7e0b (diff) | |
| parent | 515c848ba83e883fa79b2e29afa1815318f931c6 (diff) | |
Merge pull request #20295 from volzhs/fix-restart
Fix unwanted restarting
Diffstat (limited to 'core/undo_redo.h')
0 files changed, 0 insertions, 0 deletions