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