configs/home/.zsh-server/themes
Christoph J. Scherr 93619f7f3d added zsh-server 2023-01-07 21:57:26 +01:00
..
bira added zsh-server 2023-01-07 21:57:26 +01:00