Skip to content

chore: Prefer [[ over [ in bash build scripts#2543

Merged
mafredri merged 1 commit intomainfrom
mafredri/build-script-cleanup
Jun 21, 2022
Merged

chore: Prefer `[[` over `[` in bash build scripts#2543
mafredri merged 1 commit intomainfrom
mafredri/build-script-cleanup

Commits

Commits on Jun 21, 2022