| Sat, 07 Oct 2017 14:56:30 +0200 | wenzelm | prefer native platform x86-windows, to make this work on x86_64-cygwin; | changeset | files |
| Fri, 06 Oct 2017 21:33:33 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 06 Oct 2017 21:23:21 +0200 | wenzelm | even more robust syntax (amending 122df1fde073); | changeset | files |