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 /modules/text_server_adv | |
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 'modules/text_server_adv')
0 files changed, 0 insertions, 0 deletions