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