summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add CVC3 license for sci-mathematics/cvc3Mark Wright2012-05-291-0/+73