Make direnv optional to let developers use their own direnv configuration

2024-11-06 20:34:49 +01:00
parent a97ec9bd83
commit ffcf80c3a5
2 changed files with 3 additions and 0 deletions
@@ -115,6 +115,9 @@ prime/
 *_source.tar.bz2
 .DS_Store
 # Direnv configuration
 /.envrc
 # nix-direnv generated files
 .direnv/