Thu, 20 Oct 2016 23:42:41 +0200 | wenzelm | merged | changeset | files |
Thu, 20 Oct 2016 23:42:12 +0200 | wenzelm | test for Windows/Cygwin; | changeset | files |
Thu, 20 Oct 2016 23:39:15 +0200 | wenzelm | extra trim_line for the sake of Windows; | changeset | files |