| Mon, 05 Aug 2013 11:01:17 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 29 Jun 2013 12:57:04 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 11 Sep 2012 11:03:59 +0200 | wenzelm | uniform operation on initial delay; | file | diff | annotate |