From ef9654bf1ef6219fe7d6cd04e3f766ba66df9622 Mon Sep 17 00:00:00 2001 From: Andrea Righi Date: Thu, 15 Jun 2023 16:57:25 +0200 Subject: [PATCH] sanitize-annotations: move the script to the top folder Signed-off-by: Andrea Righi --- tools/sanitize-annotations => sanitize-annotations | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/sanitize-annotations => sanitize-annotations (100%) diff --git a/tools/sanitize-annotations b/sanitize-annotations similarity index 100% rename from tools/sanitize-annotations rename to sanitize-annotations -- 2.31.1