From 5b23114978b0a2e0218e3192dc43f3e2aafaffbd Mon Sep 17 00:00:00 2001 From: Andrea Righi Date: Wed, 31 May 2023 15:38:08 +0200 Subject: [PATCH] move sanitize-annotations into tools/ Signed-off-by: Andrea Righi --- sanitize-annotations => tools/sanitize-annotations | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename sanitize-annotations => tools/sanitize-annotations (100%) diff --git a/sanitize-annotations b/tools/sanitize-annotations similarity index 100% rename from sanitize-annotations rename to tools/sanitize-annotations -- 2.31.1