Peter Steinberger 98337a14b3 fix: rename bash tool to exec (#748) (thanks @myfunc)

2026-01-12 02:49:55 +00:00

..

scripts

…

SKILL.md

fix: rename bash tool to exec (#748) (thanks @myfunc)

2026-01-12 02:49:55 +00:00