From 097f3f542667078b662ffb0e54b55a8843c21784 Mon Sep 17 00:00:00 2001 From: JackLee <809262979@qq.com> Date: Fri, 7 Mar 2025 21:50:41 +0800 Subject: [PATCH] fix microTeX --- 3rdparty/MicroTeX | 1 - 1 file changed, 1 deletion(-) delete mode 160000 3rdparty/MicroTeX 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