diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-08 15:17:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-08 15:17:32 +0200 |
| commit | abbd58dcb07dcedfb105c513368d782634b0e731 (patch) | |
| tree | c1a3259833ae54cdd9531861201e596e25ea1689 /editor/run_settings_dialog.h | |
| parent | 899b9004278b6998eda12bb486c854eb8c41bbb1 (diff) | |
| parent | bb2684f4a71ea6cc150824223a3ec864770a56e2 (diff) | |
Merge pull request #42621 from KoBeWi/into_nothingness_no_more
Cancel rename if file does not exist
Diffstat (limited to 'editor/run_settings_dialog.h')
0 files changed, 0 insertions, 0 deletions