Sun, 22 Nov 2009 14:49:36 +0100 | wenzelm | more NEWS, more tuning for release; | changeset | files |
Sun, 22 Nov 2009 14:13:18 +0100 | wenzelm | misc tuning and updates for official release; | changeset | files |
Sat, 21 Nov 2009 20:44:16 +0100 | wenzelm | tuned; | changeset | files |