Support a local direnv configuration.

coq · Sep 13, 2024 · 5e94d3b · 5e94d3b
1 parent 8e3f838
commit 5e94d3b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,6 +3,8 @@
 *.pub
 *.tar.gz
 .env
+.direnv
+.envrc
 
 # vscode settings
 .vscode