summaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver/sat-solver_obsolete.patch
Commit message (Expand)AuthorAgeFilesLines
* sat-solver: removePaul Eggleton2013-01-241-22/+0
* update patch upstream statusQing He2011-05-131-0/+2
* Fix sat-solver & RPM5 integration issueMark Hatle2011-03-311-0/+20