Fri, 11 Nov 2016 11:02:31 +0100 | wenzelm | no backup of generated stuff; | changeset | files |
Fri, 11 Nov 2016 10:46:46 +0100 | wenzelm | more precise environment (for Windows); | changeset | files |
Thu, 10 Nov 2016 23:56:06 +0100 | wenzelm | proper shell_path for msys inside cygwin; | changeset | files |