Labels Milestones
Back"error", "different_unit_net": "error", "duplicate_reference": "error", "duplicate_sheet_names": "error", More tweaks after pro review "clearance": 0.2, "diff_pair_gap": 0.25, "diff_pair_via_gap": 0.25, "diff_pair_width": 0.2, "line_style": 0.
- -0.161777 -0.433637 0.886446 vertex 0.133493 -6.75462 7.03353 facet.
- Aligns the top edge radius circle_height.