From e7d92918d9845dc7f182929fb1f849c32d11e4a1 Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Tue, 21 Jun 2022 18:34:31 +0200
Subject: [PATCH] Add direnv to gitignore

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 0e650ce..0d56a6f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,6 @@ tramp
 *_flymake*
 
 /tests/out/
+
+# Ignore direnv data
+/.direnv/
\ No newline at end of file