From ae6accf047f370ddd7b1764afe8b083ef64ebc8a Mon Sep 17 00:00:00 2001
From: Sergey Goncharov <sergey@sergey-goncharov.org>
Date: Wed, 22 Apr 2026 14:49:08 +0100
Subject: [PATCH] Remove submodule TexCommon

---
 .gitmodules | 3 ---
 TexCommon   | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 TexCommon

diff --git a/.gitmodules b/.gitmodules
index c958ad9..e69de29 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "TexCommon"]
-	path = TexCommon
-	url = git@git8.cs.fau.de:public-repos/TexCommon.git
diff --git a/TexCommon b/TexCommon
deleted file mode 160000
index 0046b8c..0000000
--- a/TexCommon
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 0046b8ccc5c6c351a92af3b8517c1394b148dd39