summarylogtreecommitdiffstats
path: root/remove-seq-dep.diff
AgeCommit message (Expand)Author
2024-05-29Get rid of unnecessary ocaml shimsDaniel Peukert