| commit | 1bbdd2aba27057363134fa8c20c10e56ce095dea | [log] [download] |
|---|---|---|
| author | nicm <nicm> | Thu Jun 10 07:52:56 2021 +0000 |
| committer | nicm <nicm> | Thu Jun 10 07:52:56 2021 +0000 |
| tree | ad23b1c04d7ca14d058569c35c9c81c6ddbc96be | |
| parent | 73bf358f6da9ce8b6c2dd51849ab88a22bb883ad [diff] |
Add -F for command-prompt and use it to fix "Rename" on the window menu, GitHub issue 2699.