summaryrefslogtreecommitdiff
path: root/LICENSE
Commit message (Expand)AuthorAge
* New releaseGravatar Adam Chlipala2009-06-23
* Add 'package' make target; add LICENSEGravatar Adam Chlipala2008-10-24