diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-09-22 14:07:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-22 14:07:52 +0200 |
commit | 08e455a1f6de9f494422a9084835ce250e8c2738 (patch) | |
tree | f4c2defd6a7f1f4f806de4fc78d2a68822d36206 /scene/gui | |
parent | 8afa14e9b7f07e4d2034e1102ff08ad7a180a209 (diff) | |
parent | c4fa301b6b3b8faa3f14558e5207263b5490213b (diff) |
Merge pull request #52927 from akien-mga/ci-debug-then-strip
Diffstat (limited to 'scene/gui')
0 files changed, 0 insertions, 0 deletions