Skip to content

Lint shell scripts, small mise fix#271

Merged
djensenius merged 1 commit into
mainfrom
shell-lint-and-mise
Dec 5, 2025
Merged

Lint shell scripts, small mise fix#271
djensenius merged 1 commit into
mainfrom
shell-lint-and-mise

Commits

Commits on Dec 5, 2025