| Fri, 27 Apr 2012 20:24:35 +0200 | wenzelm | chmod -x; | changeset | files |
| 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 |