]> git.netwichtig.de Git - user/henk/vcsh/zsh.git/search
fix: this seems superfluous since it’s already set above