Fernando Schauenburg dfe0e1cd6a mintty: update config ... This is a snapshot of my current wsltty config on Windows.		2023-09-06 08:58:07 +02:00
..
themes	mintty: update config	2023-09-06 08:58:07 +02:00
config	mintty: update config	2023-09-06 08:58:07 +02:00