summaryrefslogtreecommitdiff
path: root/lang/ocaml/patches/patch-check-linker-version_sh
AgeCommit message (Expand)AuthorFilesLines
2020-05-23lang/ocaml: fix bashisms in testsrillig1-0/+19