summaryrefslogtreecommitdiff
path: root/dev-ml/rresult
Commit message (Expand)AuthorAge
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-09
* dev-ml/rresult: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-26
* dev-ml/rresult: convert to opam.eclassAlexis Ballier2017-08-06
* dev-ml/rresult: initial importAlexis Ballier2017-06-20