Use the specified JSON options when adding tools#149

kzu merged 1 commit intomaindevlooped/Extensions.AI:mainfrom

dev/JsonOptionsdevlooped/Extensions.AI:dev/JsonOptionsCopy head branch name to clipboard