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/test_prover.cpp.604919AAC374F32C.idx | Bin 538 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 .cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx (limited to '.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx') diff --git a/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx b/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx deleted file mode 100644 index f51c118..0000000 Binary files a/.cache/clangd/index/test_prover.cpp.604919AAC374F32C.idx and /dev/null differ -- cgit v1.2.3