| Sat, 14 Jun 2025 14:31:54 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 06 May 2025 16:52:39 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 18 Mar 2025 19:07:26 +0100 | wenzelm | SSH connections allow zsh as well: this happens to work with the existing Bash.char / Bach.string operations; | file | diff | annotate |
| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |