summaryrefslogtreecommitdiff
path: root/LICENSE
Commit message (Collapse)AuthorAge
* Bump year on LICENSEGravatar Adam Chlipala2010-12-14
|
* New releaseGravatar Adam Chlipala2009-06-23
|
* Add 'package' make target; add LICENSEGravatar Adam Chlipala2008-10-24