From 1e35f078fe5ace02b22e6f4ba89f57ba4a58b8c9 Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Fri, 3 Apr 2026 02:45:01 +0800 Subject: fix: remove files that should be ignored --- .cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx | Bin 514 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 .cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx (limited to '.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx') diff --git a/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx b/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx deleted file mode 100644 index 2c65a2f..0000000 Binary files a/.cache/clangd/index/tptp_parser.cpp.50E69F3F47D54605.idx and /dev/null differ -- cgit v1.2.3