diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-03 08:23:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-03 08:23:25 +0100 |
| commit | a5fa9199efe0943bc8e852ca300bbc3cd33b25af (patch) | |
| tree | 0cbb5150a7b993743998869fe616283e88c7722e /thirdparty/pcre2 | |
| parent | 2a0de6d88cfdc7cbd42e448fd44f1fbc438b320c (diff) | |
| parent | 5a3952fe6476f0d012560bfbd1fc590c48e0511d (diff) | |
Merge pull request #44051 from EricEzaM/PR/rename-files-with-F2-key
Added F2 shortcuts for renaming files & folders.
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions