| Mon, 31 Aug 2015 22:44:07 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Mon, 31 Aug 2015 22:30:41 +0200 | wenzelm | proper option, not catch-all pattern; | changeset | files |
| Mon, 31 Aug 2015 22:28:23 +0200 | wenzelm | support x86_64-windows; | changeset | files |