summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Drop redundant '<maintainer>' field, leave only '<herd>'.Sergei Trofimovich2014-07-251-3/+0
* Add unordered-containers for agda 2.3.2Mark Wright2012-11-181-0/+16