Skip to content

Port for zsh #110

AnnaDinaburgVulikh started this conversation in Port request
Port for zsh #110
@AnnaDinaburgVulikh AnnaDinaburgVulikh
Jan 26, 2022 · 0 comments
Return to top
Discussion options

AnnaDinaburgVulikh
Jan 26, 2022

You must be logged in to vote

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request help wanted Extra attention is needed port-request zsh
1 participant
@AnnaDinaburgVulikh
Converted from issue

This discussion was converted from issue #97 on February 19, 2022 18:52.