Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump geniplate to 0.6.0.5 | 2014-12-14 | 1 | -5/+7 | |
* | Drop trailing '.' from description. | 2014-07-25 | 1 | -6/+6 | |
* | Drop redundant '<maintainer>' field, leave only '<herd>'. | 2014-07-25 | 1 | -5/+5 | |
* | Bump geniplate to 0.6.0.4 | 2014-07-02 | 1 | -5/+7 | |
* | Add geniplate for agda 2.3.2 | 2012-11-18 | 1 | -0/+14 |