summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq: remove oldAlexis Ballier2015-11-121-17/+0
* proj/gentoo: Initial commitRobin H. Johnson2015-08-085-0/+68