From 506dee4d45e28297efc73cec29a714b776b84d18 Mon Sep 17 00:00:00 2001 From: Ulrich Bauer Date: Sat, 23 Jul 2016 15:43:00 +0200 Subject: cleanup examples --- examples/projective_plane.dipha | Bin 0 -> 1376 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 examples/projective_plane.dipha (limited to 'examples/projective_plane.dipha') diff --git a/examples/projective_plane.dipha b/examples/projective_plane.dipha new file mode 100644 index 0000000..8f091e0 Binary files /dev/null and b/examples/projective_plane.dipha differ -- cgit v1.2.3