diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-18 08:35:52 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-18 08:35:52 +0100 |
commit | 40c017f9c0baf6dff8d06f93eb62ae3cd5106765 (patch) | |
tree | 204031404af95a023a19083174ea46109d7b0907 /platform | |
parent | 6da836bbb4541ed82faa63da9744878c691ceff3 (diff) | |
parent | d10cd9961346e3d74316179bf21158f8a11c2f4a (diff) |
Merge pull request #71557 from mihe/physics-end-sync
Make physics servers `end_sync` on exit
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions