summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-configurator: Fix QA MissingTestRestrictMark Wright2020-10-151-0/+1
* dev-ml/dune-configurator: Bump to 2.7.1Mark Wright2020-10-133-0/+42