Commit Graph

3 Commits (main)

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