Labels Milestones
Back"error", "pin_not_driven": "error", "pin_to_pin": "warning", "power_pin_not_driven": "error", "similar_labels": "warning", More tweaks after pro review "extra_units": "error", "global_label_dangling": "warning", "hier_label_mismatch": "error", "label_dangling.
- -1.000000e+00 5.280385e-13 vertex -1.082883e+02.
- -0.956941 0.290281 1.92409e-06 facet normal -0.479377.
- Here: 1.1 2012-04-12 Fixed the arrow.