summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-141-26/+0
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/enumerate: Fix || operator error and depend on dev-ml/camlp4 only inst...Patrice Clement2016-06-261-0/+27