From 4d86d36cd7c943ff48fc9cc12c080722651d4ca8 Mon Sep 17 00:00:00 2001
From: Thomas Benz <tbenz@iis.ee.ethz.ch>
Date: Mon, 2 Oct 2023 17:30:45 +0200
Subject: [PATCH] Cleanup

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

diff --git a/.gitignore b/.gitignore
index 5853a12f..8f0dfb2e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,7 +6,5 @@ open_todos.txt
 gmon.out
 .nfs*
 nonfree
-bender
-morty
 !target/*
 working_dir