Wed, 19 Aug 2009 19:35:46 +0200 | ballarin | Improved comments and api names. | changeset | files |
Thu, 01 Oct 2009 01:03:36 +0200 | wenzelm | eliminated dead code, redundant bindings and parameters; | changeset | files |
Thu, 01 Oct 2009 00:32:00 +0200 | wenzelm | misc tuning and simplification; | changeset | files |