summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Add geniplate for agda 2.3.2Mark Wright2012-11-181-0/+14
| | | | (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add geniplate for agda 2.3.2Mark Wright2012-11-183-0/+44
(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)