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