From a9d1336b9c764382ca695aacd3d33e938ab29d9b Mon Sep 17 00:00:00 2001 From: Zheng Ran <72971318+ranzhengcode@users.noreply.github.com> Date: Tue, 15 Aug 2023 20:10:12 +0800 Subject: [PATCH] Delete 1 --- inst/tools/1 | 1 - 1 file changed, 1 deletion(-) delete mode 100644 inst/tools/1 diff --git a/inst/tools/1 b/inst/tools/1 deleted file mode 100644 index 8b13789..0000000 --- a/inst/tools/1 +++ /dev/null @@ -1 +0,0 @@ -