diff options
author | Juan Linietsky <reduzio@gmail.com> | 2018-01-12 17:03:08 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2018-01-12 17:03:52 -0300 |
commit | e56b3439a5e8bf56c4b843e044a96f1446564745 (patch) | |
tree | dc559452c69569605594054b80868e3bb9103800 /thirdparty/bullet/src/BulletCollision/Gimpact | |
parent | d486cae7016c77af114d8019abf37c57e8bba386 (diff) |
Attempt renaming multiple times on safe file save, and make the behavior optional. Fixes #14339.
Diffstat (limited to 'thirdparty/bullet/src/BulletCollision/Gimpact')
0 files changed, 0 insertions, 0 deletions