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.