| Sat, 14 Jun 2025 14:31:54 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 01 Jun 2024 21:52:31 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 01 Jun 2024 21:49:50 +0200 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |