diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-05 08:38:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-05 08:38:42 +0100 |
| commit | 935537c53191e7430a77949eab6b1e50841c19bd (patch) | |
| tree | f6667c5de98ef46c5c17e1b2c5f5aeaa95a818c5 /thirdparty/pcre2/src | |
| parent | 17b776e549cf974b685bde897765271b63911bec (diff) | |
| parent | 6c54cb8bff2f1dbdec87f8f057ea36ff7368d93f (diff) | |
Merge pull request #23508 from Paulb23/clone_last_line_issue_21811
Fix clone line undo history and extra new line, issue 21811
Diffstat (limited to 'thirdparty/pcre2/src')
0 files changed, 0 insertions, 0 deletions