diff --git a/.gitignore b/.gitignore index deed614..000c67d 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ result-* # direnv .direnv/ +.envrc # Editor files *~