diff options
| author | Ignacio Etcheverry <neikeq@users.noreply.github.com> | 2018-10-08 23:33:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-08 23:33:25 +0200 |
| commit | e6cfaa18cae296e441a0496b28e4ec3e0d4061ee (patch) | |
| tree | 54fb0dd91a376f0998dd44a361d00e0e65dd482a /editor/run_settings_dialog.h | |
| parent | 0063ba92075094b7cc9d36f4551080b89e0c0e50 (diff) | |
| parent | 3a9b23bcc29d60b332f9e681d1b2dcad818694f2 (diff) | |
Merge pull request #22865 from neikeq/issue-22854
Check if directory exists before trying to delete it
Diffstat (limited to 'editor/run_settings_dialog.h')
0 files changed, 0 insertions, 0 deletions