summaryrefslogtreecommitdiff
path: root/doc/LICENSE
Commit message (Collapse)AuthorAge
* Extend license for tutorial codeGravatar Adam Chlipala2017-03-17