summaryrefslogtreecommitdiff
path: root/pcr/ocaml-result
AgeCommit message (Collapse)Author
2018-01-22pcr/ocaml-result: addedAndreas Grapentin