summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump geniplate to 0.6.0.5Mark Wright2014-12-141-5/+7
* Drop trailing '.' from description.Sergei Trofimovich2014-07-251-6/+6
* Drop redundant '<maintainer>' field, leave only '<herd>'.Sergei Trofimovich2014-07-251-5/+5
* Bump geniplate to 0.6.0.4Mark Wright2014-07-021-5/+7
* Add geniplate for agda 2.3.2Mark Wright2012-11-181-0/+14