diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-11-23 20:01:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-23 20:01:28 +0100 |
| commit | 5efe80f3085c8c6451363fe4c743bf3d7fc20b6c (patch) | |
| tree | af94ffe965f79cd0d54dde21704839f115df7c4f /thirdparty/rvo2 | |
| parent | 19223f3241bb0d6afa3e9e51f8162657bebae6b6 (diff) | |
| parent | 15e8c4052e97ff504a5b6bf9f82fb26d320556d4 (diff) | |
Merge pull request #55269 from Calinou/boot-splash-fix-missing-strip-edges
Diffstat (limited to 'thirdparty/rvo2')
0 files changed, 0 insertions, 0 deletions