Wed, 19 Aug 2015 22:09:33 +0200 | wenzelm | merged | changeset | files |
Wed, 19 Aug 2015 21:51:30 +0200 | wenzelm | clarified x86-windows setup; | changeset | files |
Wed, 19 Aug 2015 20:41:23 +0200 | wenzelm | proper check for Windows executables; | changeset | files |