From 5aab46e81b6dc2831d4b4d09665a13cba0426a52 Mon Sep 17 00:00:00 2001 From: ActoryOu Date: Tue, 17 Dec 2024 02:23:33 +0000 Subject: [PATCH] Remote redundant file --- 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