Ignore direnv cache.
Signed-off-by: jmug <u.g.a.mariano@gmail.com>
This commit is contained in:
parent
185f6d47da
commit
e855a12916
1 changed files with 2 additions and 0 deletions
2
.gitignore
vendored
2
.gitignore
vendored
|
|
@ -93,3 +93,5 @@ setup.log
|
|||
# Local OPAM switch
|
||||
_opam/
|
||||
|
||||
# Direnv cache
|
||||
.direnv
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue