Optimize builtin tool instructions for conciseness#2091
Open
dgageot wants to merge 1 commit intodocker:mainfrom
Open
Optimize builtin tool instructions for conciseness#2091dgageot wants to merge 1 commit intodocker:mainfrom
dgageot wants to merge 1 commit intodocker:mainfrom