| Fri, 17 Aug 2012 11:23:57 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 17 Aug 2012 11:20:18 +0200 | wenzelm | updated component repository; | changeset | files |
| Fri, 17 Aug 2012 11:18:26 +0200 | wenzelm | updates on 32 bit vs. 64 bit platforms; | changeset | files |