diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-15 08:22:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-15 08:22:09 +0100 |
| commit | 5375da2fdb39fdf44a9c5d0984a1434d7809cc7d (patch) | |
| tree | b07278782e568f9953f5b247f0d80c68624bf49c /thirdparty/bullet | |
| parent | db0355cb0742dc88a15f0c8fe121069ca411649d (diff) | |
| parent | f2e906496b403452dd83b04f512cc53eb6dc7e4f (diff) | |
Merge pull request #44333 from lupoDharkael/preferred-extension
Save resource: give .res less priority as preferred extension
Diffstat (limited to 'thirdparty/bullet')
0 files changed, 0 insertions, 0 deletions