Admin/polyml/INSTALL-MinGW
Fri, 21 Oct 2016 21:03:17 +0200 wenzelm minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
Mon, 31 Aug 2015 22:28:23 +0200 wenzelm support x86_64-windows;
Wed, 19 Aug 2015 21:51:30 +0200 wenzelm clarified x86-windows setup;
less more (0) tip