3 Commits (d4258527b85aa44634ddb3c374cb65187257cf34)

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