diff options
author | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-06-29 14:40:36 +0200 |
---|---|---|
committer | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-06-29 14:40:36 +0200 |
commit | aeafba4ba9a3fdfffc84067a262cb0b6bed4a405 (patch) | |
tree | 3b15dfd2831a09f08e59eeb67ebd310477e761c0 /examples/projective_plane.dipha | |
parent | a75784e9731ef29bde14b15e697f4c112058b46c (diff) |
rename check for emergent pair
Diffstat (limited to 'examples/projective_plane.dipha')
0 files changed, 0 insertions, 0 deletions