summaryrefslogtreecommitdiff
path: root/test/pinning13.test
AgeCommit message (Expand)AuthorFilesLines
2013-09-06solver: if pinning is specified, it overrides preferred reposTimo Teräs1-0/+7