From 426f533b6803686340fd5d31d0835e1a68f9d977 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 10 May 2024 15:06:13 -0500 Subject: Remove direnv --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 88f9974..8267c6a 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ _build/* +.direnv -- cgit v1.2.3