configs/home/.zsh-server
Christoph J. Scherr d78f810849 history maybe fix 2023-02-23 09:00:17 +01:00
..
plugins added some cool stuff 2023-01-23 23:35:37 +01:00
zshrc history maybe fix 2023-02-23 09:00:17 +01:00