From 4ee57c104b688b62cc0a38946a55fb09217d20ee Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Thu, 7 Dec 2023 01:05:40 +0100
Subject: [PATCH] delete stray file

---
 mod.rs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 mod.rs

diff --git a/mod.rs b/mod.rs
deleted file mode 100644
index e69de29..0000000