configs/home/.zsh-server
Christoph J. Scherr 8dae6a7403 whatever zsh updates i made 2023-01-07 23:30:33 +01:00
..
plugins added zsh-server 2023-01-07 21:57:26 +01:00
zshrc whatever zsh updates i made 2023-01-07 23:30:33 +01:00