Thu, 09 Jun 2011 00:16:28 +0200 | blanchet | removed needless function that duplicated standard functionality, with a little unnecessary twist | changeset | files |
Thu, 09 Jun 2011 00:16:28 +0200 | blanchet | removed more dead code | changeset | files |
Thu, 09 Jun 2011 00:16:28 +0200 | blanchet | be a bit more liberal with respect to the universal sort -- it sometimes help | changeset | files |