aboutsummaryrefslogtreecommitdiffstats
path: root/test/pinning-overlay3.repo
Commit message (Expand)AuthorAgeFilesLines
* solver: rewrite as deductive solver -- pinning supportTimo Teräs2013-06-131-0/+8