diff options
-rw-r--r--[-rwxr-xr-x] | data/points/KleinBottle5D.off | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | data/points/human.off | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/data/points/KleinBottle5D.off b/data/points/KleinBottle5D.off index b578593c..b578593c 100755..100644 --- a/data/points/KleinBottle5D.off +++ b/data/points/KleinBottle5D.off diff --git a/data/points/human.off b/data/points/human.off index f9f79a3f..f9f79a3f 100755..100644 --- a/data/points/human.off +++ b/data/points/human.off |