| Sat, 14 Jun 2025 14:31:54 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 09 Apr 2025 22:23:59 +0200 | wenzelm | tuned: prefer explicit Bash.exports; | file | diff | annotate |
| Wed, 09 Apr 2025 17:40:27 +0200 | wenzelm | tuned signature; | file | diff | annotate |