From 3304cda3345bd13544d74b6976b6f19532ce4d72 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 3 Mar 2022 18:38:54 +0000 Subject: Add .direnv/ to .gitignore --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index 62d1d85..1351fa1 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,5 @@ *.vo *.vos *.vok + +.direnv/ -- cgit