3 Commits (edefeee8866600f29c0b8b84dbcbf4a28fd0856c)

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