4 Commits (cbf18e926d9b58cd31bf5bf5036cdfa1ae32e6ad)

Author	SHA1	Message	Date
zeus	2572c7af6e	finished end-section	2023-07-17 18:51:32 +02:00
zeus	f0729d7baf	improved clip_wide	2023-07-17 18:36:54 +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