From 103082f346bfe39fd1d1a3ed36eb0925725653ca Mon Sep 17 00:00:00 2001
From: Ruben Bimberg <ruben.bimberg@mni.thm.de>
Date: Mon, 28 Jun 2021 13:39:34 +0200
Subject: [PATCH] Remove unnecessary file

---
 commit.txt | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 commit.txt

diff --git a/commit.txt b/commit.txt
deleted file mode 100644
index ce039ff3f..000000000
--- a/commit.txt
+++ /dev/null
@@ -1 +0,0 @@
-revision of the tool-tips and the translation
\ No newline at end of file
-- 
GitLab