diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-15 23:16:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-15 23:16:19 +0200 |
| commit | 1c17c2b9b39d9c6e7440d25251ac8b1a1fede5bb (patch) | |
| tree | fad544468c060e750dd62adaafe62378d1e96e64 /main | |
| parent | bec8c7770cb63b6f33dc42e0da77aafd594fbcbe (diff) | |
| parent | 81bf150cdc2bd58f07a0420fb47aa2956037ae4d (diff) | |
Merge pull request #21023 from Paulb23/fix_reopening_text_file
Fix re-opening of TextFiles when its already being edited.
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions