commit | 4ca6b42c241c9bb6769417ca1dc4fada521f3db8 | [log] [download] |
---|---|---|
author | Nicholas Marriott <nicholas.marriott@gmail.com> | Mon May 10 07:52:30 2021 +0100 |
committer | Nicholas Marriott <nicholas.marriott@gmail.com> | Mon May 10 07:52:30 2021 +0100 |
tree | 8ec617cbbf0dc1579ec6b8bce5c1cd8e3669674a | |
parent | bde3829131bd851b8210fd4a35871b01286da1eb [diff] |
Add -F for command-prompt and use it to fix "Rename" on the window menu, GitHub issue 2699.