diff --git a/.gitignore b/.gitignore index f875e8e0f..393117111 100644 --- a/.gitignore +++ b/.gitignore @@ -21,3 +21,6 @@ result-* share/ target/ tmp/ +# direnv +.envrc +.direnv/