diff options
| author | Nicholas Marriott <nicholas.marriott@gmail.com> | 2021-05-10 07:52:30 +0100 |
|---|---|---|
| committer | Nicholas Marriott <nicholas.marriott@gmail.com> | 2021-05-10 07:52:30 +0100 |
| commit | 4ca6b42c241c9bb6769417ca1dc4fada521f3db8 (patch) | |
| tree | 8ec617cbbf0dc1579ec6b8bce5c1cd8e3669674a /cmd-source-file.c | |
| parent | bde3829131bd851b8210fd4a35871b01286da1eb (diff) | |
Add -F for command-prompt and use it to fix "Rename" on the window menu, GitHub
issue 2699.
Diffstat (limited to 'cmd-source-file.c')
0 files changed, 0 insertions, 0 deletions