From ae8a5d047b0e26f642ea6c4860832bb9bb727f7a Mon Sep 17 00:00:00 2001 From: tiann Date: Sun, 15 Jan 2023 20:12:28 +0800 Subject: [PATCH] misc: remove tools dir --- {tools => scripts}/check_v2.c | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {tools => scripts}/check_v2.c (100%) diff --git a/tools/check_v2.c b/scripts/check_v2.c similarity index 100% rename from tools/check_v2.c rename to scripts/check_v2.c