From 4d7f97bb0cf7104d77589f407adda3a8f23f8092 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Wed, 9 Jul 2025 11:32:06 +0200 Subject: [PATCH] Split history src/serena/symbol.py to src/serena/code_editor.py - rename file to target-name --- src/serena/{symbol.py => code_editor.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/serena/{symbol.py => code_editor.py} (100%) diff --git a/src/serena/symbol.py b/src/serena/code_editor.py similarity index 100% rename from src/serena/symbol.py rename to src/serena/code_editor.py