From b55bfae7b8c90b7c6590fb96f2c2d3e0439d2b81 Mon Sep 17 00:00:00 2001
From: Dominik Jain <dominik.jain@oraios-ai.de>
Date: Sat, 5 Jul 2025 18:46:46 +0200
Subject: [PATCH] Split history tools_base.py to config_tools.py - rename
 source-file to git-split-temp

---
 src/serena/tools/{tools_base.py => git-split-temp} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/serena/tools/{tools_base.py => git-split-temp} (100%)

diff --git a/src/serena/tools/tools_base.py b/src/serena/tools/git-split-temp
similarity index 100%
rename from src/serena/tools/tools_base.py
rename to src/serena/tools/git-split-temp