From 9eb0a1f5e3a6503fa18bd1aaede6757ce3878640 Mon Sep 17 00:00:00 2001
From: Philip Offtermatt <p.offtermatt@gmail.com>
Date: Wed, 20 Sep 2023 09:46:25 +0200
Subject: [PATCH] Revert unintentional change to .gitignore

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 6fa72580f5..e83a69a504 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,4 +7,4 @@ docs/tla/states/
 vendor/
 build/
 .vscode
-.idea
\ No newline at end of file
+.idea