# Make repository tools available through direnv.
PATH_add tools