Fernando Schauenburg d3dd28cc1f mintty: fix config file name		2021-11-19 08:03:17 +01:00
..
.config/mintty	mintty: fix config file name	2021-11-19 08:03:17 +01:00