diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-01 22:27:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-01 22:27:35 +0200 |
| commit | 7aa802e77004e9209927c644d947cc0c31d794d7 (patch) | |
| tree | d78f2cf68c4f97e114e18be3b56675c55d8b7525 /editor/plugins | |
| parent | 89bf19804b87190d1e0e686c9772d9b164acbb88 (diff) | |
| parent | 00188944565e0878f19c34165a163adca47257b0 (diff) | |
Merge pull request #10019 from Paulb23/ctrl_backspace_issue_6546
Made delete next and prev consistent to other editors, issue 6546
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions