| Thu, 27 Sep 2012 15:38:28 +0200 | wenzelm | eliminated obsolete HTML/CSS functionality; | file | diff | annotate |
| Tue, 25 Sep 2012 12:17:58 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 27 Jul 2012 14:22:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |