summaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver/db5.patch
Commit message (Expand)AuthorAgeFilesLines
* sat-solver: removePaul Eggleton2013-01-241-26/+0
* update patch upstream statusQing He2011-05-131-0/+2
* sat-solver: upgrade to newer git versionMark Hatle2011-01-301-0/+24