Vladimír Čunát 1dc36904d8 Merge #14920: windows improvements, mainly mingw		2016-05-05 08:30:19 +02:00
..
default.nix	Merge #14920: windows improvements, mainly mingw	2016-05-05 08:30:19 +02:00