diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-07 13:28:02 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-07 13:28:02 +0100 |
commit | 829d49b0110edc7bf283c7cca30cddb967bccb70 (patch) | |
tree | e6839db32548d7b69185be30d3e8caac09636e23 /platform/linuxbsd/x11/display_server_x11.h | |
parent | c92e70e711bddb33412e2af610441a5ab8c1bc84 (diff) | |
parent | 2b11fe1d63d6d1ea1243214d39276a0f895f17f7 (diff) |
Merge pull request #69719 from groud/fix_gdextension_bad_vformat_error
Fix a wrong error formatting in gdextension export plugin
Diffstat (limited to 'platform/linuxbsd/x11/display_server_x11.h')
0 files changed, 0 insertions, 0 deletions