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