Parcourir la source

add direnv folder to .gitignore

emanueljg il y a 11 mois
Parent
commit
87a973eab5
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      .gitignore

+ 1 - 0
.gitignore

@@ -7,4 +7,5 @@ discordo*
 result
 
 # direnv (devs should have this file locally)
+.direnv/
 .envrc