Repository navigation
Fix check_shell: $(echo $0) is expanded by make, not the shell - #47
Open
richard-burhans wants to merge 1 commit into
Open
richard-burhans wants to merge 1 commit into
richard-burhans wants to merge 1 commit into
Commits
Commits on Sep 5, 2026
- committed
Richard Burhans