summaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver/sat-solver_rpm5.patch
Commit message (Expand)AuthorAgeFilesLines
* sat-solver: removePaul Eggleton2013-01-241-69/+0
* update patch upstream statusQing He2011-05-131-0/+2
* sat-solver: Fix solution DB generation and general cleanupMark Hatle2011-03-171-0/+67