3 Commits (76809106ce70bbb042b36d9b7b48b54ad1cb94ce)

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