configs/home/.zsh-server
Christoph J. Scherr 01089b42fc history no more in $ZSH 2023-02-16 16:27:02 +01:00
..
plugins added some cool stuff 2023-01-23 23:35:37 +01:00
zshrc history no more in $ZSH 2023-02-16 16:27:02 +01:00