summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add hashtables for sci-mathematics/agda-2.3.0.Mark Wright2012-01-231-0/+26