summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-12-28Add .gitignoreTimotej Lazar
2017-12-28Import canonicalization module from ITAPTimotej Lazar