summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2012-03-30Initial commit. Basic Kleene iteration stuff.Carlo Zancanaro