summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* sci-mathematics/minisat: Adding minisat-2.2.0_p20130925Gerhard Bräunlich2016-09-131-0/+58