summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Drop trailing '.' from description.Sergei Trofimovich2014-07-251-3/+3
* Add geniplate for agda 2.3.2Mark Wright2012-11-181-0/+24