From 763dfa077897f9128d2b149a3b66fac9a263ad26 Mon Sep 17 00:00:00 2001 From: ActoryOu Date: Tue, 17 Dec 2024 14:13:33 +0800 Subject: [PATCH] Remote redundant file (#189) --- tools/coverity/testing.c | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 tools/coverity/testing.c diff --git a/tools/coverity/testing.c b/tools/coverity/testing.c deleted file mode 100644 index e69de29b..00000000