tiennm99/serena
1
0 Fork 0
mirror of https://github.com/tiennm99/serena.git synced 2026-10-12 16:15:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Minor [ci skip]

Browse Source
This commit is contained in:
Michael Panchenko authored and Dominik Jain committed 2025-11-13 11:04:05 +01:00
1 parent 0699a87264
commit 5c7ad8edf7
1 file changed
+1
Download Patch File Download Diff File Expand all files Collapse all files
scripts/profile_tool_call.py
+1
View File
@@ -25,6 +25,7 @@ if __name__ == "__main__":
serena_config = SerenaConfig.from_config_file()
serena_config.log_level = logging.INFO
serena_config.jetbrains = False
serena_config.gui_log_window_enabled = False
serena_config.web_dashboard = False