From 0676bb79e61c02da7cca7df446e9ecc8f92e1a79 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Thu, 20 Jun 2024 12:32:16 +0200
Subject: [PATCH] Update .gitignore (#1008)

---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 01e74605f..3b562e441 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,5 +3,5 @@
 Manifest.toml
 /tags
 *.log
-
-proj*
\ No newline at end of file
+/coverage/
+/override/