]> git.netwichtig.de Git - user/henk/vcsh/zsh.git/search
Remove option to hide history commands in history