configs/home/.zsh-distrobox
Christoph J. Scherr fe8774cd17
distrobox configs
2023-06-16 22:58:47 +02:00
..
plugins distrobox configs 2023-06-16 22:58:47 +02:00
themes distrobox configs 2023-06-16 22:58:47 +02:00
zshrc distrobox configs 2023-06-16 22:58:47 +02:00