aboutsummaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver/db5.patch
AgeCommit message (Expand)Author
2013-01-24sat-solver: removePaul Eggleton
2011-05-13update patch upstream statusQing He
2011-01-30sat-solver: upgrade to newer git versionMark Hatle