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