summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-configurator: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/dune-configurator: Keyword 2.7.1 ppc, #748576Sam James2020-10-241-1/+1
* 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