From 6bbbb9b5e12a72d2855c7a9d9f4eaa1854871820 Mon Sep 17 00:00:00 2001
From: Kjeld Schouten <kjeld@schouten-lebbing.nl>
Date: Fri, 31 May 2024 10:52:53 +0200
Subject: [PATCH] Delete tools directory

Signed-off-by: Kjeld Schouten <kjeld@schouten-lebbing.nl>
---
 tools/pre-commit-install.bat | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 tools/pre-commit-install.bat

diff --git a/tools/pre-commit-install.bat b/tools/pre-commit-install.bat
deleted file mode 100644
index c815a9f3149..00000000000
--- a/tools/pre-commit-install.bat
+++ /dev/null
@@ -1,4 +0,0 @@
-pip install pre-commit
-git config --unset-all core.hooksPath
-cd ..
-pre-commit install