diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-19 13:55:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-19 13:55:31 +0200 |
| commit | bde3e884c7b1506dd74cb39ea479ea98dd04e7a1 (patch) | |
| tree | 5238fc4db4e9fea7664deab0d95b02f471f0b1fe /editor/run_settings_dialog.h | |
| parent | b902a2f2a7438810cdcb053568ed5c27089b1e8a (diff) | |
| parent | 596ba888690fee0abf99a5dddf022555b00d62a1 (diff) | |
Merge pull request #23138 from CakHuri/fix-disconect
Repaired mistyped of 'just_disconnected'.
Diffstat (limited to 'editor/run_settings_dialog.h')
0 files changed, 0 insertions, 0 deletions