summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-ml/rresult: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-7/+7
* dev-ml/rresult: convert to opam.eclassAlexis Ballier2017-08-061-13/+3
* dev-ml/rresult: initial importAlexis Ballier2017-06-203-0/+46