diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-11-09 16:28:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-09 16:28:19 +0100 |
commit | bd0c40d05197aee3b7257d1954a7061a4a272e6b (patch) | |
tree | db69347ac6345b07e37977c6d89bdf94dd853ebe /modules/gdscript/gdscript_functions.h | |
parent | 8a318fe1dd201dfecb26e1110df53c09864afd91 (diff) | |
parent | 5af5c86ebc52f4f9d4b2ce46a0cc134b4273f122 (diff) |
Merge pull request #43413 from akien-mga/ci-warnings-extra
CI: Build with warnings=extra to catch 'em all
Diffstat (limited to 'modules/gdscript/gdscript_functions.h')
0 files changed, 0 insertions, 0 deletions