summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda-stdlib: Replace INSOPTIONS by insopts()Justin Lecher2015-11-231-2/+2
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+67