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