diff --git a/3rdparty/MicroTeX b/3rdparty/MicroTeX
deleted file mode 160000
index 0e3707f..0000000
--- a/3rdparty/MicroTeX
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 0e3707f6dafebb121d98b53c64364d16fefe481d