diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-15 23:33:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-15 23:33:15 +0200 |
| commit | 2f9b7b7a605f20321c1a239935152723bc13edf0 (patch) | |
| tree | 5e8c6e305b9512ad99b019507fa03f32002d3efa /servers/text/text_server_dummy.h | |
| parent | 421d8b716db25a7556d428b7bb210ce4d94caa0b (diff) | |
| parent | 80237a54e01dd964cc4242ebc5979087a3b67d68 (diff) | |
Merge pull request #62082 from qarmin/handle_crash_ci
Stop CI when Godot crash
Diffstat (limited to 'servers/text/text_server_dummy.h')
0 files changed, 0 insertions, 0 deletions