.minttyrc
Sun, 25 Dec 2022 21:06:07 +0200 Oleksandr Gavenko OrangeRed is not recognized by mintty, used hex code instead.
Tue, 06 Apr 2021 12:58:34 +0300 Oleksandr Gavenko I'm using Ctrl+LCLick or Menu key binding for switching.
Fri, 08 Jan 2021 16:11:52 +0200 Oleksandr Gavenko Fixed: Ignoring unknown option 'BellSound'.
less more (0) -30 -10 -3 tip