summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove forced -mcpu=pentium4 from cudd's Makefile. This fixes bug #327425 rep...Paweł Hajdan2010-07-131-1/+8
* Version bump, bug #311903.Paweł Hajdan2010-06-221-0/+127