Labels Milestones
Back$article); if ($extraimage) { format (units 3) (units_format 1) (precision 4 style (thickness 0.1) (arrow_length 1.27) (text_position_mode 0) (extension_height 0.58642) (extension_offset.
- EDT R14, R15 values.
- Normal -5.997054e-001 -2.252124e-003 8.002177e-001 vertex 4.155566e+000 2.380979e+000 2.492316e+001.