direnv: check if direnv is installed (#8809)
parent
570729f221
commit
a3ea785cf5
1 changed files with 3 additions and 0 deletions
Loading…
Reference in new issue