From 892fe0a993803592dd9dfaa22cfa889faa210af4 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/prover.cpp.3C0A611D8081F4D2.idx | Bin 510 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 proofsearch/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx (limited to 'proofsearch/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx') diff --git a/proofsearch/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx b/proofsearch/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx deleted file mode 100644 index bbf1235..0000000 Binary files a/proofsearch/.cache/clangd/index/prover.cpp.3C0A611D8081F4D2.idx and /dev/null differ -- cgit v1.2.3