diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-08-07 14:50:47 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-08-07 14:50:47 +0200 |
| commit | 6a0410bbc27e34aa30f6fc4cde3dc0ad684458fa (patch) | |
| tree | 9de680dec71a4f552e2d8a8a03b27b53f8941e19 /script/gdscript/gd_compiler.cpp | |
| parent | c833827e5071b003a81bd55ec24f98efea315421 (diff) | |
| parent | acff87ffda906e2f846b21260e208029db365554 (diff) | |
| download | redot-engine-6a0410bbc27e34aa30f6fc4cde3dc0ad684458fa.tar.gz | |
Merge pull request #80240 from bruvzg/x11_ext_checks
[X11] Do not fail DisplayServer init if non-essential extensions are missing.
Diffstat (limited to 'script/gdscript/gd_compiler.cpp')
0 files changed, 0 insertions, 0 deletions