Skip to content

Remove duplicated lint-shell target in Makefile#69

Merged
dannywillems merged 2 commits intomainfrom
fix-duplicate-lint-shell
Mar 16, 2026
Merged

Remove duplicated lint-shell target in Makefile#69
dannywillems merged 2 commits intomainfrom
fix-duplicate-lint-shell

Commits

Commits on Mar 16, 2026