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/patience_diff: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-7/+7
* dev-ml/patience_diff: update to opam.eclassAlexis Ballier2017-09-221-10/+3
* dev-ml/patience_diff: initial importAlexis Ballier2017-06-223-0/+42