david/zsh-david
My personal ZSH plugin with custom aliases and functions. It might not be very useful to you.
Updated 2023-09-19 19:45:36 +02:00