Labels Milestones
BackHole_dist_top); cylinder(r=hole_r, h=thickness*2); echo("Putting a hole with radius: ", hole_r.
- 162.85 122.845 (end 163.5 114.510001 (end 183.1975.
- -7.27143 -0.26034 6.89409 facet normal -7.640264e-01 -6.451849e-01.
- 10 pins wide, https://www.erni-x-press.com/de/downloads/kataloge/englische_kataloge/erni-din41612-iec60603-2-e.pdf.