Christoph Reiter 04f8f7d982 mintty: bump the default window size a bit ...

80x24 is too small for me (and maybe others?) and it's not that obvious
that you can change the size in the settings, so maybe a larger default
helps new users.

2022-07-06 15:00:11 +02:00

..

001-default-size.patch

mintty: bump the default window size a bit

2022-07-06 15:00:11 +02:00

PKGBUILD

mintty: bump the default window size a bit

2022-07-06 15:00:11 +02:00