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 /main | |
| parent | d486cae7016c77af114d8019abf37c57e8bba386 (diff) | |
Attempt renaming multiple times on safe file save, and make the behavior optional. Fixes #14339.
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions