3 Commits (7a7fbd1f4ed807b78264354af69122705fe168d1)

Author	SHA1	Message	Date
zeus	2572c7af6e	finished end-section	2023-07-17 18:51:32 +02:00
zeus	0c33006cff	fix intersecting hole	2023-07-15 18:01:31 +02:00
zeus	d7ac5af9fe	diskshelf iteration 3: more tolerances	2023-07-15 17:48:12 +02:00