Fri, 22 Sep 2006 13:53:28 +0200 | arg | small change to achieve Jukka's last proposal | file | diff | annotate |
Fri, 22 Sep 2006 11:49:24 +0200 | arg | fixed issue pointed out by Jukka | file | diff | annotate |
Fri, 22 Sep 2006 07:37:56 +0200 | arg | implemented the maximization as I described on the mailinglist, this feels better to me. | file | diff | annotate |
Thu, 14 Sep 2006 11:07:44 +0200 | Anselm R. Garbe | removed useless inclusion | file | diff | annotate |