Stefan Haller dbca9306de Rename "Custom Command" to "Shell Command" ...

The double use of the term "Custom Command" for both shell commands and
user-configured keybindings was confusing.

2024-08-17 10:56:03 +02:00

58 KiB

Raw Blame History

View Raw