diff options
author | Michael Klemm <michael.klemm@intel.com> | 2020-05-22 18:29:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-22 18:29:52 +0200 |
commit | a3ea785cf514523155582fd6b9c68e2bc06cd836 (patch) | |
tree | f355e551aaf2d111327c754f8eb47c2f08dd0367 /themes/fino-time.zsh-theme | |
parent | 570729f22147584016ca02e0b979f7b40f9659c5 (diff) | |
download | zsh-a3ea785cf514523155582fd6b9c68e2bc06cd836.tar.gz zsh-a3ea785cf514523155582fd6b9c68e2bc06cd836.tar.bz2 zsh-a3ea785cf514523155582fd6b9c68e2bc06cd836.zip |
direnv: check if direnv is installed (#8809)
Diffstat (limited to 'themes/fino-time.zsh-theme')
0 files changed, 0 insertions, 0 deletions