summaryrefslogtreecommitdiff
path: root/tests/kind2-examples
Commit message (Collapse)AuthorAgeFilesLines
* Add a few examples from KIND2 distribution.Alex Auvolat2014-07-233-0/+1902