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