summaryrefslogtreecommitdiff
path: root/test/pinning.repo
AgeCommit message (Expand)AuthorFilesLines
2013-06-13solver: rewrite as deductive solver -- pinning supportTimo Teräs1-20/+0
2011-10-29solver, db: implement repository pinningTimo Teräs1-0/+20