mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
Include tool parameter names, types, descriptions in a collapsible section under each tool in the export HTML. Also adds parameters to pi.getAllTools() return value. closes #1407, closes #1416