thies 592c94cc85 Merge branch 'main' into feedback		2023-03-29 17:46:13 +02:00
..
casting_from_3D_positive_mould	Add Rhino3D files of moulds	2023-03-02 23:32:03 +01:00
direct_3D_negative_mould	Add Rhino3D files of moulds	2023-03-02 23:32:03 +01:00
lid	fixing hyperlinks	2023-03-21 17:00:16 +01:00