Update tool display styling #93

Merged
drew merged 1 commit from update-tool-display into main 2026-07-08 08:50:12 +00:00
Owner

Make all tools use the teal styling of the edit tool and have $ for shell replaced by 'bash'

Make all tools use the teal styling of the edit tool and have $ for shell replaced by 'bash'
drew merged commit 11ca620dc7 into main 2026-07-08 08:50:12 +00:00
drew deleted branch update-tool-display 2026-07-08 08:50:13 +00:00
drew referenced this pull request from a commit 2026-07-08 08:50:15 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
drew/skate!93
No description provided.