| Fri, 27 Apr 2012 20:10:09 +0200 | wenzelm | multi-platform build script and component settings; | changeset | files |
| Fri, 27 Apr 2012 19:54:05 +0200 | wenzelm | print errors on stderr; | changeset | files |
| Fri, 27 Apr 2012 19:50:32 +0200 | wenzelm | general exec_process -- nothing specific to Cygwin; | changeset | files |