summaryrefslogtreecommitdiff
path: root/examples/projective_plane.dipha
AgeCommit message (Expand)Author
2016-07-23cleanup examplesUlrich Bauer