diff --git a/.gitignore b/.gitignore index e2e9028..6bd5588 100644 --- a/.gitignore +++ b/.gitignore @@ -93,3 +93,5 @@ setup.log # Local OPAM switch _opam/ +# Direnv cache +.direnv